Sopra un tema di concorso per i Licei
MV-algebras were introduced in 1958 by Chang [4] and they are models of Lukasiewicz infinite-valued logic. Chang gives a correspondence between the category of linearly ordered MV-algebras and the category of linearly ordered abelian l-groups. Mundici [10] extended this result showing a categorical equivalence between the category of the MV-algebras and the category of the abelian l-groups with strong unit. In this paper, starting from some definitions and results in abelian...
Page 1