Short equational bases for MV-Algebras, commutative BCK-Algebras and LBCK-algebras
Araújo, João; Kinyon, M.; Vigário, Edgar
Submitted
http://arxiv.org/pdf/1007.1601
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 LBCK-algebras.
|
