Short equational bases for MV-Algebras, commutative BCK-Algebras and ŁBCK-algebras

Joao Araujo, Michael Kinyon, Edgar Vigario

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 ŁBCK-algebras.