[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