Abstract
A commutative BCK-algebra with the relative cancellation property is a commutative BCK-algebra (X;*,0) which satisfies the condition: if a ≤ x, a ≤ y and x * a = y * a, then x = y. Such BCK-algebras form a variety, and the category of these BCK-algebras is categorically equivalent to the category of Abelian ℓ-groups whose objects are pairs (G, G 0), where G is an Abelian ℓ-group, G 0 is a subset of the positive cone generating G + such that if u, v ∈ G 0, then 0 ∨ (u - v) ∈ G 0, and morphisms are ℓ-group homomorphisms h: (G, G 0) → (G′,G′0) with f(G 0) ⫅ G′0. Our methods in particular cases give known categorical equivalences of Cornish for conical BCK-algebras and of Mundici for bounded commutative BCK-algebras (= MV-algebras).
Similar content being viewed by others
References
J. AdÁmek, Theory of Mathematical Structures, D. Reidel Publ. Co., Dordrecht, Boston, Lancaster, 1983.
R. Baer, ‘Free sums of groups and their generalizations. An analysis of the associative law’, Amer. J. Math. 41 (1949), 706-742.
W. H. Cornish, ‘Lattice ordered groups and BCK-algebras’, Math. Japonica 4 (1980), 471-476.
W. H. Cornish, T. Sturm, T. Traczyk, ‘Embedding of commutative BCK-algebras into distributive lattice BCK-algebras’, Math. Japonica 29 (1984), 309-320.
A. Di Nola, A. Lettieri, ‘Perfect MV-algebras are categorical equivalent to abelian ℓ-groups’, Studia Logica 53 (1994), 417-432.
A. DvureČenskij, M. G. Graziano, ‘Remarks on representations of minimal clans’, Tatra Mt. Math. Publications 15 (1998), 31-53
A. DvureČenskij, M. G. Graziano, ‘Commutative BCK-algebras and lattice ordered groups’, Math. Japonica 49 (1999), 159-174.
J. M. Font, A. J. RodrÍguez, A. Torrens, ‘Wajsberg algebras’, Stochastica 8 (1984), 5-31.
Y. Imai, K. IsÉki, ‘On axiom systems of propositional calculi’, Proc. Japan Acad. 42 (1966), 19-22.
K. IsÉki, ‘A special class of BCK-algebras’, Math. Seminar Notes 5 (1979), 107-119.
S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, New York, Heidelberg, Berlin, 1971.
J. Meng, Y. B. Jun, BCK-algebras, Kyung Moon Sa Co., Seoul, 1994.
D. Mundici, ‘Interpretation of AF C *-algebras in Łukasiewicz sentential calculus’, J. Funct. Anal. 65 (1986), 15-63.
D. Mundici, ‘MV-algebras are categorically equivalent to bounded commutative BCK-algebras’, Math. Japonica 31 (1986), 889-894.
M. PalasiŃski, ‘Some remarks on BCK-algebras’, Math. Seminar Notes Univ. Kobe 8 (1980), 137-144.
T. Sturm, ‘On commutative BCK-algebras embeddable into directed commutative BCK-algebras’, Math. Japonica 27 (1982), 197-212.
H. Yutani, ‘The class of commutative BCK-algebras is equationally definable’, Math. Seminar Notes 5 (1977), 207-210.
O. Wyler, ‘Clans’, Compos. Math. 17 (1966/1967), 172-189.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dvurečenskij, A. On Categorical Equivalences of Commutative BCK-algebras. Studia Logica 64, 21–36 (2000). https://doi.org/10.1023/A:1005282128667
Issue Date:
DOI: https://doi.org/10.1023/A:1005282128667