An intriguing logic with two implicational connectives

DOI10.1305/ndjfl/1027953481zbMath1005.03026OpenAlexW2002127544MaRDI QIDQ698537

Lloyd Humberstone

Publication date: 19 September 2002

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1027953481

zbMATH Keywords

modal logicpossible worlds semanticsmatrix semanticsimplicative BCSK-algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (5)

Axiomatizing the skew Boolean propositional calculus ⋮ Prior’s OIC nonconservativity example revisited ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Dual binary discriminator varieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof methods for modal and intuitionistic logics
• Semantical investigations in Heyting's intuitionistic logic
• The deducibilities of S5
• A perspective on modal sequent logic
• Theory of logical calculi. Basic theory of consequence operations
• Matrix approach in methodology of sentential calculi
• Embeddings of classical logic in S4
• Embeddings of classical logic in S4. II
• Subdirectly irreducible modal algebras and initial frames
• A new semantics for positive modal logic
• Valuational semantics of rule derivability
• Positive modal logic
• The logic of non-contingency
• Minimal non-contingency logic
• Expressive power and semantic completeness: Boolean connectives in modal logic
• Philosophical logic
• Monadic representability of certain binary relations
• Algebraizable logics
• Rules and Derived Rules
• A study of some ‘separated’ conditions on binary relations
• Relative necessity
• What is strict implication?
• An embedding of classical logic in S4
• Extensions of the Lewis system S5

This page was built for publication: An intriguing logic with two implicational connectives