zbMATH — the first resource for mathematics

On Iseki’s BCK-algebras. (English) Zbl 0486.03033
Algebraic structures and applications, Proc. 1st West. Aust. Conf. Algebra, Univ. West. Aust. 1980, Lect. Notes Pure Appl. Math. 74, 101-122 (1982).

03G25 Other algebras related to logic
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
08B99 Varieties