Abstract
Many algebraic structures can be characterized in terms of some order structure. Among them are lattices, semilattices, boolean algebras, and semi-boolean algebras. In this paper we show that a pBCK-algebra can be characterized in terms of two order relations, one of which also makes it an implicative BCK-algebra. One of these orders is the well-known order for the larger class of BCK-algebras; the other one is a new order we introduce here.
Similar content being viewed by others
References
Abbott, J. C.,Semi-Boolean algebra, Matematicki Vesnik4 (1967), 177–198.
Cornish, W. H.,On Iséki's BCK-algebras, Algebraic Structures and Applications (edited by Schultz, P., Praeger, C. and Sullivan, R.), lecture notes in pure and applied mathematics74, 1982, pp. 101–122.
Guzmán, F., Lynch, C.,Varieties of positive implicative BCK-algebras. Subdirectly irreducible and free algebras, Mathematica Japonica37 (1992), 27–39.
Iséki, K.,Some properties of BCK-algebras, Mathematics Seminar Notes2 (1974), 193–201.
Iséki, K.,On Ideals in BCK-algebras, Mathematics Seminar Notes3 (1975), 1–12.
Iséki, K. andTanaka, S.,Ideal theory of BCK-algebras, Mathematica Japonica21 (1976), 351–366.
Isékl, K. andTanaka, S.,An introduction to the theory of BCK-algebras, Mathematica Japonica23 (1978), 1–26.
Traczik, T.,On the structure of BCK-algebras with zx ·yx=zy ·xy, Mathematica Japonica33 (1988), 319–324.
Wronski, A.,BCK-algebras do not form a variety, Math. Japonica28, 211–213.
Yutani, H.,The class of commutative BCK-algebras is equationally definable, Mathematics Seminar Notes5 (1977), 207–210.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Guzmán, F. The poset structure of positive implicative BCK-algebras. Algebra Universalis 32, 398–406 (1994). https://doi.org/10.1007/BF01235177
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01235177