Advanced Aukasiewicz Calculus And Mv-algebras by D. MundiciAdvanced Aukasiewicz Calculus And Mv-algebras by D. Mundici

Advanced Aukasiewicz Calculus And Mv-algebras

byD. Mundici

Paperback | August 3, 2013

Pricing and Purchase Info

$181.46 online 
$206.95 list price save 12%
Earn 907 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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.
Daniele Mundici received his Laurea degree in Physics from the University of Modena. He is currently Professor of Mathematical Logic at the University of Florence, and has been Professor of Algorithms and Computability at the University of Milan.He has taught at universities in Europe, Africa and America.He serves as a managing editor ...
Title:Advanced Aukasiewicz Calculus And Mv-algebrasFormat:PaperbackDimensions:258 pages, 23.5 × 15.5 × 0.17 inPublished:August 3, 2013Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9400736606

ISBN - 13:9789400736603


Table of Contents

Preface.- Chapter 1. Prologue: de Finetti coherence criterion and Åukasiewicz logic.- Chapter 2. Rational polyhedra, Interpolation, Amalgamation.- Chapter 3. The Galois connection (Mod, Th) in Å' 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, conï¬uence 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 Åukasiewicz logic.- Chapter 16. The Lebesgue state and the completion of FREEn.- Chapter 17. Finitely generated projective MV-algebras.- Chapter 18. Eï¬ective procedures for Å' and MV-algebras.- Chapter 19. A ï¬rst-order Åukasiewicz logic with [0, 1]-identity.- Chapter 20. Applications, further reading, selected problems.- Chapter 21. Background results.- Special Bibliography. References. Index.