Abstract
In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ-groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ-groups with strong unit. Some applications are given thereof.
References
Belluce L.P., Grigolia R., Lettieri A.: ‘Representations of Monadic MValgebras’. Studia Logica 81, 123–144 (2005)
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)
Cignoli, R., I. L. D’Ottaviano, and D. Mundici, Algebraic Foundations of Manyvalued Reasoning, Vol. 7 of Trends in Logic - Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2000.
Cignoli, R., and D. Mundici, ‘An Invitation to Chang’s MV Algebras’, Advances in Algebra and Model Theory, Essen, 1994; Dresden, 1995, Algebra Logic Appl., 9, Gordon and Breach, Amsterdam, 171–197, 1997.
Cignoli R., Mundici D.: ‘An Elementary Presentation of the Equivalence Between MV-algebras and ℓ-groups with Strong Unit’. Studia Logica 61, 49–64 (1998)
Di Nola A., Grigolia R.: ‘On Monadic MV-algebras’. Annals of Pure and Applied Logic 128, 125–139 (2004)
Lattanzi, M., and A. Petrovich, ‘A Duality for Monadic (n + 1)-valued MValgebras’, Proceedings of the 9th “Dr. Antonio A. R. Monteiro” Congress, Univ. Nac. del Sur, Bahía Blanca, 107–117, 2008.
Mundici D.: ‘Interpretation of FA C*-algebras in Łukasiewicz Sentential Calculus’. J. Funct. Anal. 65(1), 15–63 (1986)
Rutledge, J. D., ‘A Preliminary Investigation of the Infinitely Many-valued Predicate Calculus’, Ph. D. Thesis, Cornell University, 1959.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cimadamore, C., Díaz Varela, J.P. Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit. Stud Logica 98, 175–201 (2011). https://doi.org/10.1007/s11225-011-9332-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-011-9332-4