DRl-semigroups and MV-algebras

G. Birkhoff: Lattice Theory, 3rd ed. AMS Providence, RI, 1967. C. C. Chang: Algebraic analysis of many-valued logics. Trans. Amer. Math. Soc. 88 (1958), 467–490. C. C. Chang: A new proof of the completeness of the Lukasiewicz axioms. Trans. Amer. Math. Soc. 93 (1959), 74–80. R. Cignoli: Free lattice-ordered abelian groups and varieties of MV-algebras. Proc. IX Latin Amer. Symp. Math. Logic, Part 1, Not. Log. Mat. 38. 1993, pp. 113–118. D. Gluschankof: Cyclic ordered groups and MV-algebras. Czechoslovak Math. J. 43(118) (1993), 249–263. J. Jakubík: On complete MV-algebras. Czechoslovak Math. J. 45(120) (1995), 473–480. K. L. N. Swamy: Dually residuated lattice ordered semigroups. Math. Ann. 159 (1965), 105–114. K. L. N. Swamy: Dually residuated lattice ordered semigroups III. Math. Ann. 167 (1966), 71–74. K. L. N. Swamy and N. P. Rao: Ideals in autometrized algebras. J. Austral. Math. Soc. 24 (Ser. A) (1977), 362–374.