Publication:3887460
From MaRDI portal
zbMath0444.03035MaRDI QIDQ3887460
Publication date: 1980
distributivity; permutability; nearlattices; commutative BCK-algebras; variety of BCK-algebras; BCK-congruence lattices; BCK-quotient algebras
Related Items
Nearlattices with an overriding operation, Conditions for permutability of congruences in implication algebras, Universal algebras, On the structure of varieties with equationally definable principal congruences. III, Unnamed Item