Subintuitionistic logics
From MaRDI portal
Publication:1333312
DOI10.1305/ndjfl/1040609299zbMath0811.03005OpenAlexW4247269955MaRDI QIDQ1333312
Publication date: 13 September 1994
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040609299
Related Items
The Lambek calculus extended with intuitionistic propositional logic, Monotone subintuitionistic logic: duality and transfer results, Paraconsistent metatheory: new proofs with old tools, Stability and paradox in algorithmic logic, Binary modal companions for subintuitionistic logics, Implication via spacetime, Naive \textit{modus ponens}, BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH, Angell and McCall meet Wansing, Nested sequents for intermediate logics: the case of Gödel-Dummett logics, Choice-free topological duality for implicative lattices and Heyting algebras, COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS, Quine and Slater on paraconsistency and deviance, The intensional side of algebraic-topological representation theorems, Non-Boolean classical relevant logics. I, Naive structure, contraction and paradox, A closer look at some subintuitionistic logics, A canonical model for constant domain basic first-order logic, Burali-Forti as a purely logical paradox, Subintuitionistic logics and the implications they prove, Predicate logical extensions of some subintuitionistic logics, Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics, Modal translation of substructural logics, Relevant logic and the theory of information
