On the equivalence between MV-algebras and $l$-groups with strong unit

Eduardo J. Dubuc, Yuri A. Poveda

In "A new proof of the completeness of the Lukasiewicz axioms"} (Transactions of the American Mathematical Society, 88) C.C. Chang proved that any totally ordered $MV$-algebra $A$…