Abstract
A BCK-algebra is an algebra in which the terms are generated by a set of variables, 1, and an arrow. We mean by aBCK-identity an equation valid in all BCK-algebras. In this paper using a syntactic method we show that for two termss andt, if neithers=1 nort=1 is a BCK-identity, ands=t is a BCK-identity, then the rightmost variables of the two terms are identical.
This theorem was conjectured firstly in [5], and then in [3]. As a corollary of this theorem, we derive that the BCK-algebras do not form a variety, which was originally proved algebraically by Wroński ([4]).
To prove the main theorem, we use a Gentzen-type logical system for the BCK-algebras, introduced by Komori, which consists of the identity axiom, the right and the left introduction rules of the implication, the exchange rule, the weakening rule and the cut. As noted in [2], the cut-elimination theorem holds for this system.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
K. Iséki,An Algebra Related with a Propositional Calculus Proc. Japan Academy,42 (1966), pp. 26–29.
Y. Komori,The Class of BCC-Algebras is Not a Variety Math. Japonica,29 3 (1984), pp. 391–394.
M. Polasiński andA. Wroński,Eight Simple Questions Concerning BCK-algebras Reports on Math. Log. 20 (1986), pp. 87–91.
A. Wroński,BCK-Algebras do not Form a Variety Math. Japonica,28 2 (1983), pp. 211–213.
A. Wroński,Reflections and Distentions of BCK-Algebras Math. Japonica,28 2 (1983), pp. 215–225.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Nagayama, M. On a property of BCK-identities. Stud Logica 53, 227–234 (1994). https://doi.org/10.1007/BF01054710
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01054710