A basic quasi-Boolean logic of intuitionistic character

Journal of Applied Non-Classical Logics 30 (4):291-311 (2020)
  Copy   BIBTEX

Abstract

The logic B M is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B M endowed with a quasi-Boolean negation of intuitionistic character included...

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2020.1826155

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.Norihiro Kamide - 2020 - Journal of Philosophical Logic 49 (6):1185-1212.
Modalities as interactions between the classical and the intuitionistic logics.Michał Walicki - 2006 - Logic and Logical Philosophy 15 (3):193-215.
Relevance logics and intuitionistic negation.José M. Méndez & Gemma Robles - 2008 - Journal of Applied Non-Classical Logics 18 (1):49-65.
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic.Mojtaba Aghaei & Mohammad Ardeshir - 2000 - Mathematical Logic Quarterly 46 (2):195-206.
On classical behavior of intuitionistic modalities.Sergey Deobyshevich - 2014 - Logic and Logical Philosophy 24 (1):79-104.
Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
Elementary embedding between countable Boolean algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
The greatest extension of s4 into which intuitionistic logic is embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.
Boolean Algebras in Visser Algebras.Majid Alizadeh, Mohammad Ardeshir & Wim Ruitenburg - 2016 - Notre Dame Journal of Formal Logic 57 (1):141-150.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Basic Predicate Calculus.Wim Ruitenburg - 1998 - Notre Dame Journal of Formal Logic 39 (1):18-46.
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Minimal Non-relevant Logics Without The K Axiom.Gemma Robles & Jose Mendez - 2007 - Reports on Mathematical Logic.

Analytics

Added to PP
2020-10-01

Downloads
12 (#1,062,297)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gemma Robles
Universidad de León

Citations of this work

Add more citations

References found in this work

Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
Negation in Relevant Logics (How I Stopped Worrying and Learned to Love the Routley star).Greg Restall - 1999 - In Dov Gabbay & Heinrich Wansing (eds.), What is Negation? Kluwer Academic Publishers. pp. 53-76.
Star and perp: Two treatments of negation.J. Michael Dunn - 1993 - Philosophical Perspectives 7:331-357.

View all 17 references / Add more references