An intriguing logic with two implicational connectives

DOI10.1305/NDJFL/1027953481zbMATH Open1005.03026OpenAlexW2002127544MaRDI QIDQ698537FDOQ698537

Authors: 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

Recommendations

• Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
• scientific article; zbMATH DE number 2145493
• scientific article; zbMATH DE number 3889528
• On implicative BCI-algebras
• Publication:4332297

zbMATH Keywords

modal logicmatrix semanticspossible worlds semanticsimplicative BCSK-algebras

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

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

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

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