Weak Logics with Strict Implication

DOI10.1002/malq.19870330503zbMath0645.03004OpenAlexW2069357662MaRDI QIDQ3787970

Giovanna Corsi

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

zbMATH Keywords

completenessKripke modelsKripke semanticscanonical modelgeneral frameorthologicstrict implicationweak logicssublogics of intuitionistic propositional logic

Mathematics Subject Classification ID

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

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