[1] Chang C. C.: 
Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88 (1958), 467-490. 
MR 0094302 | 
Zbl 0084.00704[2] Chang C. C.: 
A new proof of the completeness of the Lukasiewicz axioms. Trans. Amer. Math. Soc. 93 (1959), 74-80. 
MR 0122718 | 
Zbl 0093.01104[3] Cignoli R. O. L., Mundici D., D’Ottaviano I. M. L.: 
Algebraic Foundations of Many-valued Reasoning. Kluwer Acad. Publ., Dordrecht-Boston-London, 2000. 
MR 1786097 | 
Zbl 0937.06009[4] Rachůnek J.: 
DRl-semigroups and MV-algebras. Czechoslovak Math. J. 48, 123 (1998), 365-372. 
MR 1624268[5] Rachůnek J.: 
MV-algebras are categorically equivalent to a class of DRli-semigroups. Math. Bohemica 123 (1998), 437-441. 
MR 1667115[6] Rasiova H., Sikorski R.: 
The Mathematics of Metamathematics. Panstw. Wyd. Nauk., Warszawa, 1963. 
MR 0163850[7] Turunen E.: 
Mathematics Behind Fuzzy Logic. Springer Physica-Verlag, Heidelberg-New York, 1999. 
MR 1716958 | 
Zbl 0940.03029