Subintuitionistic logics
From MaRDI portal
Publication:1333312
DOI10.1305/NDJFL/1040609299zbMATH Open0811.03005OpenAlexW4247269955MaRDI QIDQ1333312FDOQ1333312
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
Cited In (29)
- Another combination of classical and intuitionistic conditionals
- Combining first-order classical and intuitionistic logic
- Naive \textit{modus ponens}
- Binary modal companions for subintuitionistic logics
- BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
- Nested sequents for intermediate logics: the case of Gödel-Dummett logics
- Stability and paradox in algorithmic logic
- Quine and Slater on paraconsistency and deviance
- Title not available (Why is that?)
- A canonical model for constant domain basic first-order logic
- Predicate logical extensions of some subintuitionistic logics
- Choice-free topological duality for implicative lattices and Heyting algebras
- Monotone subintuitionistic logic: duality and transfer results
- Paraconsistent metatheory: new proofs with old tools
- Implication via spacetime
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- A closer look at some subintuitionistic logics
- Modal translation of substructural logics
- The Lambek calculus extended with intuitionistic propositional logic
- Naive structure, contraction and paradox
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics
- Burali-Forti as a purely logical paradox
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
- Subintuitionistic logics and their modal companions: a nested approach
- Subintuitionistic logics and the implications they prove
- Non-Boolean classical relevant logics. I
- The intensional side of algebraic-topological representation theorems
- Relevant logic and the theory of information
- Angell and McCall meet Wansing
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Substructural Logics in Natural Deduction 👍 👎
- A closer look at some subintuitionistic logics 👍 👎
- SUBSTRUCTURAL INQUISITIVE LOGICS 👍 👎
- Predicate logical extensions of some subintuitionistic logics 👍 👎
- Subintuitionistic logics and the implications they prove 👍 👎
- Subintuitionistic logics with Kripke semantics 👍 👎
- Substructural epistemic logics 👍 👎
- Weak subintuitionistic logics 👍 👎
This page was built for publication: Subintuitionistic logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333312)
