Subintuitionistic logics

DOI10.1305/NDJFL/1040609299MaRDI QIDQ1333312zbMATH OpenOpenAlexFDO

Authors Greg Restall

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

zbMATH Keywords

proof theoryKripke semanticsalgebraic modelsmodelling quantificationsubintuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

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

(41)

• Constructive embedding from extensions of logics of strict implication into modal logics
• Bounded distributive lattices with strict implication and weak difference
• Angell and McCall meet Wansing
• On weak Lewis distributive lattices
• Naive \textit{modus ponens}
• Another combination of classical and intuitionistic conditionals
• Combining first-order classical and intuitionistic logic
• Binary modal companions for subintuitionistic logics
• BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
• A weak intuitionistic propositional logic with purely constructive implication
• Nested sequents for intermediate logics: the case of Gödel-Dummett logics
• scientific article; zbMATH DE number 1953898 (Why is no real title available?)
• Stability and paradox in algorithmic logic
• Quine and Slater on paraconsistency and deviance
• scientific article; zbMATH DE number 4081505 (Why is no real title available?)
• Weak subintuitionistic logics
• scientific article; zbMATH DE number 6863646 (Why is no real title available?)
• 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
• The Lambek calculus extended with intuitionistic propositional logic
• A predicate logical extension of a subintuitionistic propositional logic
• Weak Logics with Strict Implication
• Naive structure, contraction and paradox
• Modal translation of substructural 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
• A semantical analysis of some subintuitionistic modal logics
• Subintuitionistic logics and the implications they prove
• Relevant logic and the theory of information
• Non-Boolean classical relevant logics. I
• The intensional side of algebraic-topological representation theorems
• Algebraic semantics for weak subintuitionistic logic WF
• Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
• Subintuitionistic logics with Kripke semantics

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)