Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5

DOI10.1007/S10992-005-9023-6MaRDI QIDQ2499308zbMATH OpenOpenAlexFDO

Authors Lloyd Humberstone

Publication date 14 August 2006

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-005-9023-6

zbMATH Keywords

BCK-algebrasBCSK logicbinary implicational connectivesconsequence relationsdeduction theoremfragment of modal logic S5Kripke semanticspattern functions

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) BCK-algebras, BCI-algebras (06F35)

Recommendations

• An intriguing logic with two implicational connectives
• Two remarks on strictly implicative formulas in modal logic S3
• Twins in logic -- identical and otherwise
• scientific article; zbMATH DE number 7594253
• BCK and BCI logics, condensed detachment and the 2-property

Cites work

• A calculus for the common rules of \(\wedge\) and \(\vee\)
• A perspective on modal sequent logic
• A treatise on many-valued logics
• Algebraizable logics
• An intriguing logic with two implicational connectives
• Basic properties of the equivalence
• Completeness and definability in the logic of noncontingency
• Extensionality in sentence position
• Generalized pattern functions
• scientific article; zbMATH DE number 3771571 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3084370 (Why is no real title available?)
• Iterated attitudes
• Knowledge and true belief in Hintikka's epistemic logic
• Lukasiewicz's twin possibility functors
• Meeting of the Association for Symbolic Logic, Sydney, 1984
• On elementary equivalence for equality-free logic
• On Łukasiewicz's four-valued modal logic
• Protoalgebraic logics
• Singulary extensional connectives: A closer look
• Some classes of idempotent functions and their compositions
• The independence of connectives
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.

Cited in

(8)

• Investigations into a left-structural right-substructural sequent calculus
• Idempotent variations on the theme of exclusive disjunction
• Prior's OIC nonconservativity example revisited
• Twins in logic -- identical and otherwise
• Dual binary discriminator varieties
• scientific article; zbMATH DE number 7594253 (Why is no real title available?)
• An intriguing logic with two implicational connectives
• Axiomatizing the skew Boolean propositional calculus

This page was built for publication: Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5

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