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

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)

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

Cites work

• 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?)
• 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
• 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)

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

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)