Weak Logics with Strict Implication
From MaRDI portal
Publication:3787970
DOI10.1002/malq.19870330503zbMath0645.03004OpenAlexW2069357662MaRDI QIDQ3787970
Publication date: 1987
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19870330503
completenessKripke modelsKripke semanticscanonical modelgeneral frameorthologicstrict implicationweak logicssublogics of intuitionistic propositional logic
Related Items
Rudimentary Kripke models for the intuitionistic propositional calculus, Alternative Semantics for Visser’s Propositional Logics, Monotone subintuitionistic logic: duality and transfer results, Natural deduction based upon strict implication for normal modal logics, Binary modal companions for subintuitionistic logics, Implication via spacetime, Lewis meets Brouwer: constructive strict implication, Angell and McCall meet Wansing, Choice-free topological duality for implicative lattices and Heyting algebras, A closer look at some subintuitionistic logics, Normal modal substructural logics with strong negation, On non-self-referential fragments of modal logics, 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, Labelled tableau systems for some subintuitionistic logics