×

A minimal equational base for commutative BCK-algebras. (English) Zbl 0524.03054


MSC:

03G25 Other algebras related to logic
20L05 Groupoids (i.e. small categories in which all morphisms are isomorphisms)
08B99 Varieties
06D99 Distributive lattices
06A12 Semilattices