Abstract
The MV-algebra S wm is obtained from the (m+1)-valued Łukasiewicz chain by adding infinitesimals, in the same way as Chang's algebra is obtained from the two-valued chain. These algebras were introduced by Komori in his study of varieties of MV-algebras. In this paper we describe the finitely generated totally ordered algebras in the variety MV wm generated by S wm . This yields an easy description of the free MV wm -algebras over one generator. We characterize the automorphism groups of the free MV-algebras over finitely many generators.
Similar content being viewed by others
References
Bigard, A., K. Keimel, and S. Wolfenstein, Groupes et anneaux réticulés, volume 608 of Lecture Notes in Math. Springer, 1977.
Cignoli, R., I. D'Ottaviano, and D. Mundici, Algebras das logicas de Łukasiewicz, Centro de Logica, Epistemologia e Historia da Ciência, Campinas, São Paulo, Brazil, 2nd edition, 1995.
Chang, C. C., ‘Algebraic analysis of many valued logics’, Trans. Amer. Math. Soc. 88:467–490, 1958.
Chang, C. C., ‘A new proof of the completeness of the Łukasiewicz axioms’, Trans. Amer. Math. Soc. 93:74–80, 1959.
Hocking, J. G., and G. S. Young, Topology, Dover, 1988. First published in 1961 by Addison-Wesley.
Kelley, J. L., General Topology, Van Nostrand, 1955.
Kokorin, A. I., and V. M. Kopytov, Fully Ordered Groups, Wiley, 1974.
Komori, Y., ‘Super-Łukasiewicz propositional logic’, Nagoya Math. J. 84:119–133, 1981.
Lang, S., Algebra, Addison-Wesley, 3rd edition, 1993.
McNaughton, R., ‘A theorem about infinite-valued sentential logic’, J. of Symbolic Logic 16:1–13, 1951.
Magnus, W., A. Karrass, and D. Solitar, Combinatorial Group Theory, Dover, 2nd revised edition, 1976. First published in 1966 by Interscience Publishers.
Mundici, D., ‘Interpretation of AF C*-algebras in Łukasiewicz sentential calculus’, J. of Functional Analysis 65:15–63, 1986.
Mundici, D., ‘Free products in the category of abelian ℓ-groups with strong unit’, J. of Algebra 113(1):89–109, 1988.
Mundici, D., ‘A constructive proof of McNaughton's theorem in infinite-valued logic’ J. of Symbolic Logic 59:596–602, 1994.
Panti, G., ‘The logic of partially ordered abelian groups with strong unit’ in G. Gerla, editor, Atti del XV Incontro di Logica Matematica di Camerino, p. 85–107, 1992.
Panti, G., ‘A geometric proof of the completeness of the Łukasiewicz calculus’, J. of Symbolic Logic 60(2):563–578, 1995.
Panti, G., La logica infinito-valente di Łukasiewicz, PhD thesis, Dept. of Mathematics, University of Siena, 1995.
Rourke, C. P., and B. J. Sanderson, Introduction to Piccewise-Linear Topology, Springer, 1972.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Di Nola, A., Grigolia, R. & Panti, G. Finitely Generated Free MV-algebras and Their Automorphism Groups. Studia Logica 61, 65–78 (1998). https://doi.org/10.1023/A:1005030314538
Issue Date:
DOI: https://doi.org/10.1023/A:1005030314538