Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
From MaRDI portal
Publication:2499308
DOI10.1007/s10992-005-9023-6zbMath1101.03020OpenAlexW1968850729MaRDI QIDQ2499308
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
BCK-algebrasdeduction theoremKripke semanticsconsequence relationspattern functionsBCSK logicbinary implicational connectivesfragment of modal logic S5
Modal logic (including the logic of norms) (03B45) BCK-algebras, BCI-algebras (06F35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Axiomatizing the skew Boolean propositional calculus, Prior’s OIC nonconservativity example revisited, Investigations into a left-structural right-substructural sequent calculus, Dual binary discriminator varieties, Idempotent variations on the theme of exclusive disjunction
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An intriguing logic with two implicational connectives
- Basic properties of the equivalence
- A calculus for the common rules of \(\wedge\) and \(\vee\)
- A perspective on modal sequent logic
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Generalized pattern functions
- Lukasiewicz's twin possibility functors
- Completeness and definability in the logic of noncontingency
- On elementary equivalence for equality-free logic
- Singulary extensional connectives: A closer look
- On Łukasiewicz's four-valued modal logic
- Extensionality in sentence position
- Knowledge and true belief in Hintikka's epistemic logic
- Meeting of the Association for Symbolic Logic, Sydney, 1984
- Algebraizable logics
- The independence of connectives
- Some classes of idempotent functions and their compositions
- Protoalgebraic logics
