×

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
PDF BibTeX XML Cite