An Intriguing Logic with Two Implicational Connectives


Matthew Spinks [35] introduces implicative BCSK-algebras, expanding implicative BCK-algebras with an additional binary operation. Subdirectly irreducible implicative BCSK-algebras can be viewed as flat posets with two operations coinciding only in the 1- and 2-element cases, each, in the latter case, giving the two-valued implication truth-function. We introduce the resulting logic (for the general case) in terms of matrix methodology in §1, showing how to reformulate the matrix semantics as a Kripke-style possible worlds semantics, thereby displaying the distinction between the two implications in the more familiar language of modal logic. In §§2 and 3 we study, from this perspective, the fragments obtained by taking the two implications separately, and – after a digression (in §4) on the intuitionistic analogue of the material in §3 – consider them together in §5, closing with a discussion in §6 of issues in the theory of logical rules. Some material is treated in three appendices to prevent §§1–6 from becoming overly distended.

Download options


    Upload a copy of this work     Papers currently archived: 72,855

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

32 (#361,400)

6 months
1 (#386,001)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Positive Modal Logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
A System of Modal Logic.Jan Łukasiewicz - 1953 - Proceedings of the XIth International Congress of Philosophy 14:82-87.
What is Strict Implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.

View all 21 references / Add more references