Publications > Artigos em Revistas Internacionais

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.