No label defined (Q4258028)

The paper essentially consists of three parts. The first one is dedicated to the basic tools of the algebraic theory of the many-valued calculus of Łukasiewicz (Chang's MV-algebras), with the aim to reach a proof of Chang's Completeness Theorem. The hinge of the proof is the relationship between the totally ordered abelian groups and the totally ordered MV-algebras. The authors argue as in the simple, interesting, geometric proof, that they propose in the Prologue, of the well-known Weinberg Theorem on the variety of abelian lattice-ordered groups. The second part deals with a characterization of the free MV-algebras, attained by a unimodular triangulation of \([0,1]^n\) and the Disjunctive Normal Form reduction of McNaughton functions. The third part provides the necessary background to establish relationships between MV-algebras and other mathematical topics as lattice-ordered abelian groups, desingularizations of toric varieties and AF \(C^*\)-Algebras. The paper is very interesting for the wealth of mathematical reasoning. It undoubtedly is indispensable, together with its extensive bibliography, to anyone who is interested in many-valued propositional logic. For the entire collection see [Zbl 0910.00039].