References
Chang, C. C.,Algebraic analysis of many-valued logics. Trans. Amer. Math. Soc.88 (1958), 467–490.
Chang, C. C.,A new proof of the completeness of Lukasiewicz axioms. Trans. Amer. Math. Soc.93 (1959), 74–80.
Lukasiewicz, J. andTarski, A.,Untersuchungun über den Aussagenkalkül, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie. Classe III, vol.23 (1930), 30–50.
Belluce, L. P.,Semi-simple algebras of infinite valued logic and bold fuzzy set theory. Can. J. Math. XXXVIII, No. 6 (1986), 1356–1379.
Mangani, P.,On certain algebras related to many-valued logics (Italian). Boll. U.M.I. (4),8 (1973), 68–78.
Mundici, D.,Interpretation of AF C * algebras in Lukasiewicz sentential calculus. J. of Functional Analysis65 (1986), 15–63.
Di Nola, A. andLettieri, A., personal communication.
Lacava, F. andSaeli, D.,Proprietà e model-completamento di alcune varietà di algebre di Lukasiewicz. Acc. Naz. dei Lincei, Rendiconti Serie VIII, vol. IX,4 (1976), 359–367.
Rosser, J. B.,Axiomatization of infinite valued logics. Logique et Analyse, n.s. vol. 3 (1960), 137–153.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Belluce, L.P. Semi-simple and complete MV-algebras. Algebra Universalis 29, 1–9 (1992). https://doi.org/10.1007/BF01190751
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01190751