Abstract
In this paper, after recounting the basic properties of perfect MV-algebras, we explore the role of such algebras in localization issues. Further, we analyze some logics that are based on Łukasiewicz connectives and are complete with respect to linearly ordered perfect MV-algebras.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Belluce, L.P.: Semisimple algebras of infinite-valued logic. Canad. J. Math. 38, 1356–1379 (1986)
Belluce, L.P.: The going up and going down theorems in MV-algebras and abelian ℓ-groups. J. Math. Anal. Appl. 241, 92–106 (2000)
Belluce, L.P., Chang, C.C.: A weak completeness theorem for infinite valued predicate logic. J. Symbolic Logic 28, 43–50 (1963)
Belluce, L.P., Di Nola, A.: Yosida type representation for perfect MV-algebras. Math. Logic Quart. 42, 551–563 (1996)
Belluce, L.P., Di Nola, A.: The MV-algebra of first order Łukasiewicz logic. Tatra Mt. Math. Publ. 27, 7–22 (2003)
Belluce, L.P., Di Nola, A., Lettieri, A.: Local MV-algebras. Rend. Circ. Mat. Palermo 42(2), 347–361 (1993)
Chang, C.C.: Algebraic analysis of many-valued logics. Trans. Amer. Math. Soc. 88, 467–490 (1958)
Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Trends in Logic, vol. 7. Kluwer, Dordrecht (2000)
Di Nola, A., Lettieri, A.: Perfect MV-algebras are categorically equivalent to abelian ℓ-groups. Stud. Logic 88, 467–490 (1958)
Łukasiewicz, J., Tarski, A.: Unntersuchungen über den Aussagenkalkul. Comptes Rendus des seances de la Societe des Sciences et des Lettres de Varsovie 23(cl iii), 30–50 (1930)
Mundici, D.: Interpretation of AF C *-algebras in Lukasiewicz sentential calculus. J. Funct. Anal. 65, 15–63 (1986)
Scarpellini, B.: Die Nichaxiomatisierbarkeit des unendlichwertigen Pradikatenkalkulus von Lukasiewicz. J. Symbolic Logic 27, 159–170 (1962)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Belluce, L.P., Di Nola, A. & Gerla, B. Perfect MV-algebras and their Logic. Appl Categor Struct 15, 135–151 (2007). https://doi.org/10.1007/s10485-007-9069-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-007-9069-4