Short equational bases for MV-Algebras, commutative BCK-Algebras and {\L}BCK-algebras
We show that the variety of MV-algebras is $2$-based and we offer elegant $2$-bases for the varieties of commutative BCK-algebras and {\L}BCK-algebras.
math.LO↗
arXiv subjects
Edgar Vigario
Publications and source records attributed to Edgar Vigario.