Publication:3030831
From MaRDI portal
zbMath0627.03050MaRDI QIDQ3030831
Publication date: 1987
equational bases; reflective subcategory; commutative BCK- algebras; lower semilattice BCK-algebras; variety of BCK-algebras
06A06: Partial orders, general
03G25: Other algebras related to logic
08A55: Partial algebras
08B99: Varieties