Chang invented MV-algebras to give a neat, algebraic proof of the completeness of the Łukasiewicz axioms, after the syntactic proof of \textit{A. Rose} and \textit{J. B. Rosser} [Trans. Am. Math. Soc. 87, 1-53 (1958; Zbl 0085.24303)]. His completeness theorem shows that an equation holds for all MV-algebras iff it holds for the single MV-algebra given by the unit real interval \([0,1]\) equipped with negation \(1-x\) and truncated addition. He achieved this in two steps [as witnessed by his papers in Trans. Am. Math. Soc. 88, 467-490 (1958; Zbl 0084.00704) and Trans. Am. Math. Soc. 93, 74-80 (1959; Zbl 0093.01104)]. In the short paper under review, written in a friendly and non-technical style, Chang recalls the origins of MV-algebras. While shifting from Cornell to Los Angeles, and from snow and ice to milder climate, Chang was also shifting from Polish notation to equations, and from maximal to prime ideals. After several years of relative tranquillity, starting from the mid-eighties MV-algebras have become again the object of intense study: since the year 2000 the MSC Classification index has the new special entry 06D35 for them. This is so because MV-algebras are deeply related to lattice-ordered abelian groups (for his proof, Chang had already constructed a functor from MV-chains to totally ordered abelian groups with a distinguished positive element), AF \(C^*\)-algebras, toric varieties and adaptive error-correcting codes [see, e.g., the monograph: \textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning, Kluwer, Dordrecht, Trends in Logic, Studia Logica Library, Vol. 7 (2000; Zbl 0937.06009), as well as \textit{P. Hajek}'s book, Metamathematics of fuzzy logic, Kluwer, Dordrecht, Trends in Logic, Studia Logica Library, Vol. 4 (1998; Zbl 0937.03030)].
- Decidable and undecidable MV-algebras
- AF-algebras with lattice-ordered \(K_0\): logic and computation
- MV-algebras: a variety for magnitudes with archimedean units
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
- scientific article; zbMATH DE number 1329672 (Why is no real title available?)
- scientific article; zbMATH DE number 2064179 (Why is no real title available?)
- scientific article; zbMATH DE number 1790407 (Why is no real title available?)
- scientific article; zbMATH DE number 1453813 (Why is no real title available?)
- Consequence Relations with Real Truth Values
- Computing on Lattice-Ordered Abelian Groups
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
- A note on interval MV-algebras
- scientific article; zbMATH DE number 2208114 (Why is no real title available?)
- Basic algebras, logics, trends and applications.
This page was built for publication: The writing of the MV-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1580657)
