Abstract
MV-algebras first appeared in 1958 and were introduced for the purpose of analysing algebraically the many-valued logics of Lukasiewicz [1, 2]. The theory of these algebras developed slowly at first but since the mid 1980’s has undergone a rapid growth.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. C. Chang, Algebraic- analysis of many valued logics, Trans. Amer. Math. Soc. 88(1958) 467–490.
C. C. Chang, A new proof of the completeness of the Lukasiewicz axioms, Trans. Amer. Math. Soc. 93 (1959) 74–80.
L. P. Belluce, Semi-simple and complete MV-algebras, Algebra Universalis, 29 (1992), 1–9.
L. P. Belluce, A. Di Nola, S. Sessa, The prime ideal space of an MV-algebra, Math. Logic Quartely 40 (1994).
D. Mundici, Interpretation of AF C* — algebras in Lukasiewicz sentential logic, J. Functional Anal. 65 (1986) 15–63.
R. Sikorski, Boolean Algebras, Springer - Verlag, (1960).
F. Lacava, Sulle L-algebre iniettive, Bolletino UMI (7) 3-A (1989), 319–324.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Belluce, L.P. (1995). α-Complete MV-Algebras. In: Höhle, U., Klement, E.P. (eds) Non-Classical Logics and their Applications to Fuzzy Subsets. Theory and Decision Library, vol 32. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0215-5_2
Download citation
DOI: https://doi.org/10.1007/978-94-011-0215-5_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4096-9
Online ISBN: 978-94-011-0215-5
eBook Packages: Springer Book Archive