Abstract
Let Γ be Mundici’s functor from the category \({\mathcal{LG}}\) whose objects are the lattice-ordered abelian groups (ℓ-groups for short) with a distinguished strong order unit and the morphisms are the unital homomorphisms, onto the category \({\mathcal{MV}}\) of MV-algebras and homomorphisms. It is shown that for each strong order unit u of an ℓ-group G, the Boolean skeleton of the MV-algebra Γ(G, u) is isomorphic to the Boolean algebra of factor congruences of G.
Similar content being viewed by others
References
Bigard, A., K. Keimel, and S. Wolfenstein, Groupes et anneaux rèticulès, Lectures Notes in Mathematics, v. 108, Springer-Verlag, New York - Heildelberg - Berlin, 1977.
Borkowski, L. (eds): Selected Works of J. Łukasiewicz. North-Holland, Amsterdam (1970)
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–90 (1959)
Cignoli R., Mundici D.: ‘An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Łukasiewicz’. Studia Logica 58, 79–97 (1997)
Cignoli, R., and D. Mundici, ‘An invitation to Chang’s MV-algebras’. In M. Droste and R. Göbel (eds.), Conference on Algebra and Model Theory, Dresden 1995, Gordon and Breach, Amsterdam, 1997, pp. 171–197.
Cignoli R., Mundici D.: ‘An elementary presentation of the equivalence between MV-algebras and ℓ-groups’. Studia Logica, 61, 49–64 (1998)
Cignoli R., D’Ottaviano I.M.L., Mundici D.: Algebraic foundations of manyvalued reasoning. Kluwer Academic Pub, Dordrecht (2000)
Łukasiewicz, J., and A. Tarski, ‘Untersuchungen über den Aussagenkalkül’, Comptes rendus de la Société des Sciences et des Lettres de Varsovie, (English translation in [2] and [11]), 23:30–50, 1930.
Mundici D.: ‘Interpretation of AF C*-algebras in Łukasiewicz sentential calculus’. J. Funct. Anal 65, 15–63 (1986)
Tarski, A., Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956. Reprinted Hackett, Indianapolis, 1983.
Torrens A.: ‘W-algebras which are Boolean products of members of SR[1] and CW-algebras’. Studia Logica 46, 263–272 (1987)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cignoli, R. Boolean Skeletons of MV-algebras and ℓ-groups. Stud Logica 98, 141–147 (2011). https://doi.org/10.1007/s11225-011-9325-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-011-9325-3