Universal classes of MV-chains with applications to many-valued logics

Mathematical Logic Quarterly

Volumn 48, Issue 4, 2002, Pages 581-601

  Gispert, Joan ^a  

^a UNIVERSITY OF BARCELONA   (Spain)

Author keywords

ukasiewicz many valued propositional calculus; MV algebra; Quasivariety; Universal class

Indexed keywords

EID: 0036435204     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/1521-3870(200211)48:4<581::AID-MALQ581>3.0.CO;2-W     Document Type: Article

References (28)

1. Bigard, A., K. Keimel, and S. Wolfenstein, Groupes et Anneaux Réticulés. Lecture Notes in Mathematics Vol. 608, Springer-Verlag. Berlin-Heidelberg 1971.
2. Blanco, J., M. Campercholi, and D. Vaggione, The subquasivariety lattice of a discriminator variety. Advances in Mathematics 159 (2001), 18 - 50.
3. Blok, W., and D. Pigozzi, Algebraizable logics. Memoirs Amer. Math. Soc. 77 (1989).
4. Bloom, S., Some theorems on structural consequence operators. Studia Logica 34 (1975), 1 - 9.
5. Burris, S., and H.P. Sankappanavar, A Course in Universal Algebra. Springer-Verlag. New York 1981.
6. Chang, C.C., Algebraic analysis of many-valued logics. Trans. Amer. Math. Soc. 88 (1958), 467 - 490.
7. Chang, C.C., A new proof of the completeness of the Lukasiewicz axioms. Trans. Amer. Math. Soc. 93 (1959), 74 - 90.
8. Chang, C.C., and H.J. Keisler, Model Theory. North-Holland Publ. Comp., Amsterdam 1973.
9. Cignoli, R., I.M.L. D'ottaviano, and D. Mundici, Algebras of Lukasiewicz Logics (in Potuguese). Editions CLE, State University of Campinas, Unicamp. Campinas, S.P., Brazil 1995.
10. Cignoli, R., I.M.L. D'Ottaviano, and D. Mundici, Algebraic Foundations of Many-valued Reasoning. Kluwer A.P., State University of Campinas, Unicamp. Campinas, S.P., Brazil 2000.
11. Czelakowski, J., Reduced products of logical matrices. Studia Logica 39 (1980), 19 - 43.
12. Czelakowski, J., and W. Dziobiak, Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class. Algebra Universalis 27 (1990), 128 - 149.
13. Font, J.M., A.J. Rodríguez, and A. Torrens, Wajsberg algebras. Stochastica 8 (1984), 5 - 31.
14. Fuchs, L., Partially Ordered Algebraic Systems. Pergamon Press. Oxford-New York 1963.
15. Gaitan, H., Quasivarieties of Wajsberg algebras. J. Non-Classical Logic 2 (1991), 79 - 101.
16. Gispert, J., Algebraic study of finitary extensions of Łukasiewicz's many-valued calculi. Ph.D Thesis, Universitat de Barcelona 1998.
17. Gispert, J., and A. Torrens, Quasivarieties generated by simple MV-algebras. Studia Logica 61 (1998), 79 - 99.
18. Gispert, J., D. Mundici, and A. Torrens, Ultraproducts of Z with an application to many-valued logics. J. Algebra 219 (1999), 214 - 233.
19. Gratzer, G., Universal Algebra. Second Edition. Springer-Verlag, Berlin-Heidelberg-New York 1979.
20. Komori, Y., Super-Lukasiewicz propositional logics. Nagoya Math. J. 84 (1981), 119 - 133.
21. Łukasiewicz, J., and A. Tarski, Untersuchungen über den Aussagenkalkül. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 23 (1930), 44 - 50. English translation in [25, Chapter IV].
22. Mundici, D., Interpretation of AFC*-algebras in Łukasiewicz sentential calculus. J. Functional Analysis 65 (1986), 15 - 63.
23. Mundici, D., Mapping abelian l-groups with strong unit one-one into MV-algebras. J. Algebra 98 (1986), 76 - 81.
24. Panti, G., Varieties of MV-algebras. Special issue of Journal of Applied Nonclassical Logic (W. Carnielli, ed.). To appear.
25. Rodriguez, A.J., A. Torrens, and V. Verdu, Łukasiewicz logic and Wajsberg algebras. Bull. Sec. Logic Polish Acad. Sci. 19 (1990), 51 - 55.
26. Tarski, A., Logic, Semantics, Metamathematics. Clarendon Press., Oxford 1956. Reprinted: Hackett, Indianapolis 1983.
27. Torrens, A., Cyclic elements in MV-algebras and Post Algebras. Math. Logic Quarterly 40 (1994), 431 - 444.
28. Wojcicki, R., On matrix representations of consequence operations of Łukasiewicz's sentential calculi. Zeitschrift Math. Logik Grundlagen Math. 19 (1973), 239 - 247.