0

Advanced Lukasiewicz calculus and MV-algebras

Trends in Logic 35

Erschienen am 23.06.2011, 1. Auflage 2011
106,99 €
(inkl. MwSt.)

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9789400708396
Sprache: Englisch
Umfang: xviii, 258 S.
Einband: gebundenes Buch

Beschreibung

Written for self-studyReferences the self-contained book Trends in Logic 7 (co-authored by the same author)Deals with the logic and probability of continuously-valued events, just as boolean logic deals with yes-no eventsFocuses on Lukasiewicz logic and their algebras, because of the powerful mathematical tools available here

Produktsicherheitsverordnung

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg

Autorenportrait

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 of various journals in logic, algebra and applied mathematics. He has been the President of the Kurt Gödel Society in Vienna and of the Italian Association for Logic and Applications. He is a member of the International Academy of Philosophy of Science, Bruxelles and a corresponding member of the National Academy of Exact Sciences, Buenos Aires. He is the author of three books and over 140 research papers in logic, algebra and theoretical computer science.

Inhalt

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 Ła¿z 21.- Chapter 4. The spectral and the maximal spectral space.- Chapter 5. De Concini-Procesi theorem and Schauder bases.- Chapter 6. Bases and i¬nitely presented MV-algebras.- Chapter 7. The free product of MV-algebras.- The construction of free products.- Chapter 8. Direct limits, coni¬¿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 Renyi conditional in Łukasiewicz logic.- Chapter 16. The Lebesgue state and the completion of FREEn.- Chapter 17. Finitely generated projective MV-algebras.- Chapter 18. Ei¬¿ective procedures for Ła¿z and MV-algebras.- Chapter 19. A i¬rst-order Łukasiewicz logic with [0, 1]-identity.- Chapter 20. Applications, further reading, selected problems.- Chapter 21. Background results.- Special Bibliography. References. Index.