Idziak, Paweł M. Lattice operation in BCK-algebras. (English) Zbl 0555.03030 Math. Jap. 29, 839-846 (1984). In this paper we consider BCK-algebras with additional lattice operations. We show that BCK-algebras as this constitute varieties, i.e. equationally defined classes. This result is rather unexpected, since as it is known BCK-algebras do not form a variety. Further we prove some theorems about various possibilities of embedding of BCK-algebras into BCK-algebras with additional lattice operations. Cited in 1 ReviewCited in 34 Documents MSC: 03G25 Other algebras related to logic 06A12 Semilattices 08B99 Varieties Keywords:BCK-algebras with additional lattice operations PDFBibTeX XMLCite \textit{P. M. Idziak}, Math. Japon. 29, 839--846 (1984; Zbl 0555.03030)