On varieties of BCK-algebras. (English) Zbl 0518.06015
MSC:
06D99 | Distributive lattices |
03G25 | Other algebras related to logic |
08B10 | Congruence modularity, congruence distributivity |
06D99 | Distributive lattices |
03G25 | Other algebras related to logic |
08B10 | Congruence modularity, congruence distributivity |