Structural completeness and unification problem of the logic of Chang algebra (Q2811494)

Baker and Beynon proved that a finitely generated lattice-ordered abelian group is finitely presented iff it is projective. Perfect MV-algebras do not form a variety, but are categorically equivalent to lattice-ordered abelian groups. Thus, for finitely generated perfect MV-algebras, being finitely presented is equivalent to being projective. It is also proved that the variety generated by perfect MV-algebras has unitary unification type, and its corresponding logic is structurally complete.