An intriguing logic with two implicational connectives

DOI10.1305/NDJFL/1027953481MaRDI QIDQ698537zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

implicative BCSK-algebrasmatrix semanticsmodal logicpossible worlds semantics

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)

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
• scientific article; zbMATH DE number 978109

Cites work

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

Cited in

(5)

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

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)