Skip to main content
Log in

Finitely Generated Free MV-algebras and Their Automorphism Groups

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bigard, A., K. Keimel, and S. Wolfenstein, Groupes et anneaux réticulés, volume 608 of Lecture Notes in Math. Springer, 1977.

  2. 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.

    Google Scholar 

  3. Chang, C. C., ‘Algebraic analysis of many valued logics’, Trans. Amer. Math. Soc. 88:467–490, 1958.

    Google Scholar 

  4. Chang, C. C., ‘A new proof of the completeness of the Łukasiewicz axioms’, Trans. Amer. Math. Soc. 93:74–80, 1959.

    Google Scholar 

  5. Hocking, J. G., and G. S. Young, Topology, Dover, 1988. First published in 1961 by Addison-Wesley.

  6. Kelley, J. L., General Topology, Van Nostrand, 1955.

  7. Kokorin, A. I., and V. M. Kopytov, Fully Ordered Groups, Wiley, 1974.

  8. Komori, Y., ‘Super-Łukasiewicz propositional logic’, Nagoya Math. J. 84:119–133, 1981.

    Google Scholar 

  9. Lang, S., Algebra, Addison-Wesley, 3rd edition, 1993.

  10. McNaughton, R., ‘A theorem about infinite-valued sentential logic’, J. of Symbolic Logic 16:1–13, 1951.

    Google Scholar 

  11. Magnus, W., A. Karrass, and D. Solitar, Combinatorial Group Theory, Dover, 2nd revised edition, 1976. First published in 1966 by Interscience Publishers.

  12. Mundici, D., ‘Interpretation of AF C*-algebras in Łukasiewicz sentential calculus’, J. of Functional Analysis 65:15–63, 1986.

    Google Scholar 

  13. Mundici, D., ‘Free products in the category of abelian ℓ-groups with strong unit’, J. of Algebra 113(1):89–109, 1988.

    Google Scholar 

  14. Mundici, D., ‘A constructive proof of McNaughton's theorem in infinite-valued logic’ J. of Symbolic Logic 59:596–602, 1994.

    Google Scholar 

  15. 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.

  16. Panti, G., ‘A geometric proof of the completeness of the Łukasiewicz calculus’, J. of Symbolic Logic 60(2):563–578, 1995.

    Google Scholar 

  17. Panti, G., La logica infinito-valente di Łukasiewicz, PhD thesis, Dept. of Mathematics, University of Siena, 1995.

  18. Rourke, C. P., and B. J. Sanderson, Introduction to Piccewise-Linear Topology, Springer, 1972.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005030314538

Navigation