Advanced Aukasiewicz calculus and MV-algebras [Hardcover]

This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals for such events, related algorithms.This volume covers recent developments in Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals, and related algorithms.

Preface.- Chapter 1. Prologue: de Finetti coherence criterion and Aukasiewicz logic.- Chapter 2. Rational polyhedra, Interpolation, Amalgamation.- Chapter 3. The Galois connection (Mod, Th) in A 21.- Chapter 4. The spectral and the maximal spectral space.- Chapter 5. De Concini-Procesi theorem and Schauder bases.- Chapter 6. Bases and
nitely presented MV-algebras.- Chapter 7. The free product of MV-algebras.- The construction of free products.- Chapter 8. Direct limits, conuence and multisets.- ?Chapter 9. Tensors.- Chapter 10. States and the Kroupa-Panti Theorem.- Chapter 11. The MV-algebraic Loomis-Sikorski theorem.-??Chapter 12. The MV-algebraic Stone-von Neumann theorem.- Chapter 13. Recurrence, probability, measure.- Chapter 14. Measuring polyhedra and averaging truth-values.- Chapter 15. A R?nyi conditional in Aukasiewicz logic.- Chapter 16. The Lebesgue state and the completion of FREE_n.- Chapter 17. Finitely generated projective MV-algebras.- Chapter 18. E ective procedures for A and MV-algebras.- Chapter 19. A
rst-order Aukasiewicz logic with [0, 1]-identity.- Chapter 20. Applications, further reading, selected problems.- Chapter 21. Background results.- Special Bibliography. References. Index.

From the reviews:

The book is recommended for professional researchers and advanced students with an appropriate mathematical backgroul£