Welcome
user_choices_background_image
Welcome
login container bottom
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits


Title: Advanced Łukasiewicz calculus and MV-algebras by D. Mundici.
Trends in Logic ;
Trends in Logic ;

Main Entry: Mundici, D.
SpringerLink (Online service)

Publisher: Springer Netherlands,
Publication Date: 2011.
Publication Place: Dordrecht :
ISBN: 9789400708402
Subject: Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.

Series: Trends in Logic ; 35
Trends in Logic ; 35

Contents: <p>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 finitely presented MV-algebras -- Chapter 7. The free product of MV-algebras -- The construction of free products -- Chapter 8. Direct limits, confluence 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 FREE<i><sub>n</sub></i> -- Chapter 17. Finitely generated projective MV-algebras -- Chapter 18. Effective procedures for Ł∞ and MV-algebras -- Chapter 19. A first-order Łukasiewicz logic with [0, 1]-identity -- Chapter 20. Applications, further reading, selected problems -- Chapter 21. Background results -- Special Bibliography. References. Index. </p><p>.
Related Records: Springer eBooks
Printed edition: 9789400708396

Cover Image: http://images.amazon.com/images/P/9789400708402.jpg

Results 1 - 1 of 1
  Agency: Collection: Call No.: Item Type: Status: Barcode: Media Type:
JUST Main Library Electronic Resources QA8.9-10.3 No Circulation Available Online -583316 Book