Łukasiewicz logic and Riesz spaces. (Q894318): Difference between revisions

\textit{C. C. Chang} [in Trans. Am. Math. Soc. 93, 74-80 (1959; Zbl 0093.01104)] introduced the equational class of MV-algebras as the Lindenbaum algebras of the Łukasiewicz \(\infty\)-valued propositional calculus. He then gave an algebraic proof of the completeness theorem for this logic. In 1986 the present reviewer established a categorical equivalence \(\Gamma\) between MV-algebras and unital lattice-ordered Abelian groups. See his paper in [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)]. The authors introduce Riesz MV-algebras, by equipping MV-algebras with a scalar multiplication with coefficients in the unit real interval. Then they extend the \(\Gamma\) equivalence, proving that Riesz MV-algebras are categorically equivalent to unit intervals in Riesz spaces with strong unit. Further, norm-complete Riesz MV-algebras are shown to be equivalent to unital commutative \(C^*\)-algebras. Riesz MV-algebras determine a propositional calculus that conservatively extends Łukasiewicz \(\infty\)-valued propositional calculus. The counterpart of completeness and McNaughton representation theorem is proved for this calculus. De Finetti's coherence criterion is then discussed for events described by formulas in this calculus. For background on MV-algebras see the monograph by \textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \textit{D. Mundici} [Algebraic foundations of many-valued reasoning. Trends in Logic -- Studia Logica Library 7. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]. For advanced topics see the present reviewer's book [Advanced Łukasiewicz calculus and MV-algebras. Trends in Logic -- Studia Logica Library 35. Berlin: Springer (2011; Zbl 1235.03002)].