Subintuitionistic logics
From MaRDI portal
Recommendations
- Subintuitionistic logics and the implications they prove
- scientific article; zbMATH DE number 1953898
- Weak subintuitionistic logics
- Subintuitionistic logics with Kripke semantics
- A closer look at some subintuitionistic logics
- scientific article; zbMATH DE number 4053610
- Substructural epistemic logics
- SUBSTRUCTURAL INQUISITIVE LOGICS
- Predicate logical extensions of some subintuitionistic logics
- Substructural Logics in Natural Deduction
Cited in
(36)- Subintuitionistic logics with Kripke semantics
- Predicate logical extensions of some subintuitionistic logics
- Subintuitionistic logics and the implications they prove
- Choice-free topological duality for implicative lattices and Heyting algebras
- Burali-Forti as a purely logical paradox
- A canonical model for constant domain basic first-order logic
- Relevant logic and the theory of information
- Weak Logics with Strict Implication
- Naive structure, contraction and paradox
- Weak subintuitionistic logics
- Stability and paradox in algorithmic logic
- Constructive embedding from extensions of logics of strict implication into modal logics
- scientific article; zbMATH DE number 1953898 (Why is no real title available?)
- Nested sequents for intermediate logics: the case of Gödel-Dummett logics
- Subintuitionistic logics and their modal companions: a nested approach
- scientific article; zbMATH DE number 6863646 (Why is no real title available?)
- Monotone subintuitionistic logic: duality and transfer results
- Paraconsistent metatheory: new proofs with old tools
- Quine and Slater on paraconsistency and deviance
- Binary modal companions for subintuitionistic logics
- A closer look at some subintuitionistic logics
- A predicate logical extension of a subintuitionistic propositional logic
- Implication via spacetime
- BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
- Another combination of classical and intuitionistic conditionals
- Combining first-order classical and intuitionistic logic
- Naive \textit{modus ponens}
- A weak intuitionistic propositional logic with purely constructive implication
- Modal translation of substructural logics
- Angell and McCall meet Wansing
- The Lambek calculus extended with intuitionistic propositional logic
- Non-Boolean classical relevant logics. I
- The intensional side of algebraic-topological representation theorems
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- scientific article; zbMATH DE number 4081505 (Why is no real title available?)
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)
