Abstract
In the present paper we show that free MV-algebras can be constructed by applying free abelian lattice ordered groups.
Similar content being viewed by others
References
G. Birkhoff: Lattice Theory. Providence, 1967.
R. Cignoli, I M. I. d'Ottaviano and D. Mundici: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic, Studia logica library Vol. 7, Kluwer Academic Publishers, Dordrecht, 2000.
P. Conrad: Lattice Ordered Groups. Tulane University, 1970.
D. Gluschankof: Cyclic ordered groups and MV-algebras. Czechoslovak Math. J. 43 (1993), 249-263.
J. Jakubík: Direct product decompositions of MV-algebras. Czechoslovak Math. J. 44 (1994), 725-739.
R. McNaughton: A theorem about infinite valued sentential logic. J. Symbolic Logic 16 (1951), 1-13.
D. Mundici: Interpretation of AFC*-algebras in Lukasiewicz sentential calculus. J. Funct. Anal. 65 (1986), 15-63.
E. C. Weinberg: Free lattice ordered abelian groups. Math. Ann. 151 (1963), 187-199.
E. C. Weinberg: Free lattice ordered abelian groups, II. Math. Ann. 159 (1965), 217-222.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jakubík, J. On Free MV-Algebras. Czechoslovak Mathematical Journal 53, 311–317 (2003). https://doi.org/10.1023/A:1026279118779
Issue Date:
DOI: https://doi.org/10.1023/A:1026279118779