Welcome
Copyright © SirsiDynix. All rights reserved.
(Build horizon-8.0.1.5407)
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
العربية (السعودية)
English (United States)
Log in
Help
Welcome
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Simple
Advanced
Power
Community Resource
Search History
My List
My Account
Search
Options
Refine
Start Over
Show details
Hide details
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
None
Author
Publication Date
Publisher
Subject
Title
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:
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