Algebraic Foundations of Many-Valued Reasoning [Hardcover]

Introduction. 1. Basic notions. 2. Chang completeness theorem. 3. Free MV-algebras. 4. Lukasiewicz INFINITY-valued calculus. 5. Ulam's game. 6. Lattice-theoretical properties. 7. MV-algebras and l-groups. 8. Varieties of MV-algebras. 9. Advanced topics. 10. Further Readings. Bibliography. Index.`Meanwhile, a rich structure theory for MV-algebras has been developed, relating them e.g. to l-groups and to nonstandard reals. The present book develops these matters in detail, and gives a coherent presentation of the core results of the last 15 years or so, also adding unpublished material of the authors. For future work on MV-algebras, this monograph will be an indispensable source.'
Mathematical Reviews, 2001