MV-Algebras and Abelian l-Groups: a Fruitful Interaction
Introduced by Chang in the late fifties, MV-algebras stand to Łukasiewicz’s infinite-valued propositional logic as boolean algebras stand to the classical propositional calculus. As stated by Chang in his original paper, “MV is supposed to suggest many-valued logics … for want of a better name”. The name has stuck. After some decades of relative quiescency, MV-algebras are today intensely investigated. On the one hand, these algebras find applications in such diverse fields as error-correcting feedback codes and logic-based control theory. On the other hand, MV-algebras are interesting mathematical objects in their own right. The main aim of this paper is to show that the interaction between MV-algebras and lattice-ordered abelian groups — including the timehonored theory of magnitudes — has much to offer, not only to specialists in these two fields, but also to people interested in the fan-theoretic description of toric varieties, and in the K0-theory of AF C*-algebras.
KeywordsAbelian Group Simplicial Group Boolean Algebra Simplicial Complex Dimension Group
Unable to display preview. Download preview PDF.
- Garrett Birkhoff, Lattices and their applications. In Lattice Theory and its Applications; (Darmstadt, 1991); (1995) Heldermann, Lemgo, 7–25.Google Scholar
- Bruce Blackadar, K- Theory for Operator Algebras. (1987) Springer Verlag, BerlinHeidelberg-New York.Google Scholar
- Roberto Cignoli, Free lattice-ordered abelian groups and varieties of MV-algebras. In Proceedings of the IX Latin American Symposium on Mathematical Logic, Part 1 (Bahia Blanca, 1992); (1993) Univ. Nacional del Sur, Bahia Blanca, 113–118.Google Scholar
- Corrado De Concini and Claudio Procesi, Complete symmetric varieties, II. Intersection theory. In Algebraic groups and related topics (Kyoto/Nagoya, 1983), (1985) North-Holland, Amsterdam, 481–513.Google Scholar
- George A. Elliott, On totally ordered groups, and K 0. In Ring theory (Proc. Conf., Univ. Waterloo, Waterloo, 1978); Lecture Notes in Mathematics 734 Springer Verlag, Berlin-Heidelberg-New York, 1–49.Google Scholar
- A Euclid, The thirteen books of Euclid’s Elements translated from the text of Heiberg. Vol. I: Introduction and Books I, II; Vol. II: Books III-IX; Vol. III: Books X-XIII and Appendix. Transl. with introduction and commentary by Thomas L. Heath, 2nd ed.; (1956) Dover Publ. Inc., New York.Google Scholar
- Daniele Mundici and Giovanni Panti, A constructive proof that every 3-generated l-group is ultrasimplicial. In Logic, Algebra, and Computer Science (Warsaw, 1996); (1999) Banach Center Publ., Polish Acad. Sci., Warsaw, 169–178.Google Scholar
- Alfred Tarski, Logic, Semantics, Metamathematics. Papers from 1923 to 1938. (Oxford at the Clarendon Press, 1956;) Transl. by J. H. Woodger; (1983) Reprinted by Hackett, Indianapolis.Google Scholar
- Ryszard Wójcicki and Grzegorz Malinowski, editors. Selected papers on Lukasiewicz sentential calculi. Zakład Narodowy imienia Ossolińskich, Wydawnictwo Polskiej Akademii Nauk, (1977); Ossolineum, Polish Academy of Sciences, Wrocław.Google Scholar