# zbMATH — the first resource for mathematics

On prime ideals and subdirect decompositions of BCK-algebras. (English) Zbl 0636.03061
It is shown that if A is a BCK-algebra which is a lower semilattice with respect to the BCK-order then A is a subdirect product of BCK-chains if and only if A satisfies the identity $$xy\wedge yx=0$$.
Reviewer: M.Pałasiński

##### MSC:
 03G25 Other algebras related to logic