The logic of partially ordered abelian groups with strong unit

The Chang-Mundici equivalence between the category of MV-algebras and the category of lattice-ordered abelian groups with strong unit allows us to translate facts/problems about Lukasiewicz many valued logics into facts/problems about partially ordered abelian groups, and conversely. After giving a brief survey of the theory, we study the automorphism groups of the free MV-algebras, i.e., the Lindenbaum algebras of Lukasiewicz logics