TY  - RPRT
TI  - Short equational bases for MV-Algebras, commutative BCK-Algebras and ŁBCK-algebras
AU  - Joao Araujo
AU  - Michael Kinyon
AU  - Edgar Vigario
PY  - 2010
UR  - https://arxiv.org/abs/1007.1601
ID  - 1007.1601
ER  -