Publication:3946165
From MaRDI portal
zbMath0486.03033MaRDI QIDQ3946165
Publication date: 1982
surveyBCK-algebrascongruence latticecongruence extension propertycongruence problemcommutative BCK-algebrasfinite BCK-algebrasAbelian l-groupsquasi-commutative BCK- algebrastotally ordered BCK-chains
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Varieties (08B99)
Related Items
Varieties of commutative residuated integral pomonoids and their residuation subreducts, Skew lattices and binary operations on functions, Constructive logic with strong negation is a substructural logic. I, Tolerance numbers, congruence $n$-permutability and BCK-algebras, On annihilators of BCK-algebras, Ideal determined varieties need not be congruence 3-permutable