Weak Logics with Strict Implication

DOI10.1002/MALQ.19870330503MaRDI QIDQ3787970zbMATH OpenOpenAlexFDO

Authors 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

canonical modelcompletenessgeneral frameKripke modelsKripke semanticsorthologicstrict implicationsublogics of intuitionistic propositional logicweak logics

Mathematics Subject Classification ID

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

Recommendations

• A weak intuitionistic propositional logic with purely constructive implication
• Subintuitionistic logics
• Sequent Calculi for Some Strict Implication Logics
• scientific article; zbMATH DE number 1953898
• Weak subintuitionistic logics

Cited in

(40)

• Predicate logical extensions of some subintuitionistic logics
• A weak intuitionistic propositional logic with purely constructive implication
• Relevant implication and the weak deduction theorem
• A closer look at some subintuitionistic logics
• Normal modal substructural logics with strong negation
• Lewis meets Brouwer: constructive strict implication
• Subintuitionistic logics and the implications they prove
• A predicate logical extension of a subintuitionistic propositional logic
• Natural deduction based upon strict implication for normal modal logics
• Relevant implication and the case for a weaker logic
• Monotone subintuitionistic logic: duality and transfer results
• Labelled tableau systems for some subintuitionistic logics
• Rudimentary Kripke models for the intuitionistic propositional calculus
• Binary modal companions for subintuitionistic logics
• Implication via spacetime
• Alternative semantics for Visser's propositional logics
• scientific article; zbMATH DE number 4147555 (Why is no real title available?)
• On a theory of weak implications
• scientific article; zbMATH DE number 4081505 (Why is no real title available?)
• scientific article; zbMATH DE number 1953898 (Why is no real title available?)
• scientific article; zbMATH DE number 6851056 (Why is no real title available?)
• Weak subintuitionistic logics
• Routely-Meyer Semantics for some weak Boolean Logics, and some Translations
• scientific article; zbMATH DE number 2170850 (Why is no real title available?)
• Bounded distributive lattices with strict implication
• On non-self-referential fragments of modal logics
• Constructive embedding from extensions of logics of strict implication into modal logics
• Modal translation of substructural logics
• Pure strict implication logics
• Sequent Calculi for Some Strict Implication Logics
• Angell and McCall meet Wansing
• Wright's strict finitistic logic in the classical metatheory: the propositional case
• Choice-free topological duality for implicative lattices and Heyting algebras
• Notes on my scientific life
• Subintuitionistic logics and their modal companions: a nested approach
• A semantical analysis of some subintuitionistic modal logics
• Algebraic semantics for weak subintuitionistic logic WF
• On weak Lewis distributive lattices
• Bounded distributive lattices with strict implication and weak difference
• Sub-sub-intuitionistic logic

This page was built for publication: Weak Logics with Strict Implication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787970)