Jiri Rachunek, Department of Algebra and Geometry, Faculty of Sciences, Palacky University, Tomkova 40, 779 00 Olomouc, Czech Republic, e-mail: email@example.com
Abstract: In the paper it is proved that the category of \MV-algebras is equivalent to the category of bounded \DRl-semigroups satisfying the identity $1-(1-x)=x$. Consequently, by a result of D. Mundici, both categories are equivalent to the category of bounded commutative \BCK-algebras.
Keywords: \MV-algebra, \DRl-semigroup, categorical equivalence, bounded \BCK-algebra
Classification (MSC2000): 06F05, 06D30, 06F35
Full text of the article: