Abstract

It was shown in [1] that if X is a BCK-algebra then is a poset, and moreover if X is a commutative BCK-algebra, i.e. x = y holds in X, then is a lower semilattice. In this paper we consider properties of certain ideals in these BCK-algebras which are lower semilattices as referred to [1] and [2]. The following example shows that the class of BCK-algebras considered here is considerably wider than the class of commulative BCK-algebras