Short equational bases for MV-Algebras, commutative BCK-Algebras and ŁBCK-algebras
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2010
- DOI:
- arXiv:
- arXiv:1007.1601
- Bibcode:
- 2010arXiv1007.1601A
- Keywords:
-
- Mathematics - Logic;
- 03G25
- E-Print:
- 20 pages, amsart