Subdirect products of totally ordered BCK-algebras (Q1095168)

Let \(L=(L;.,0)\) be an algebra of type (2,0). On L it is possible to introduce a binary relation \(\leq\) as follows: \(x\leq y\) if and only if \(xy=0\). The algebra L is said to be a BCK-algebra if the identities \(x0=x\) and (xy)(xz)\(\leq zy\) are satisfied and \(\leq\) is a partial order with the smallest element 0. The author characterizes the class of all BCK-algebras which are subdirect products of (totally) ordered BCK-algebras. In more details, he proves that a BCK-algebra is from this class if and only if xy\(\wedge yx\) exists for any x, y and \(xy\wedge yx=0\). This is a generalization of a similar result obtained for commutative BCK-algebras by \textit{W. H. Cornish}, \textit{T. Sturm} and \textit{T. Traczyk} [Math. Jap. 29, 309-320 (1984; Zbl 0579.03049)].