Previous |  Up |  Next

Article

References:
[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
Partner of
EuDML logo