Advanced Łukasiewicz calculus and MV-algebras
In recent years, the discovery of the relationships between formulas in Łukasiewicz logic and rational polyhedra, Chang MV-algebras and lattice-ordered abelian roups, MV-algebraic states and coherent de Finetti s assessments of continuous events, has changed the study and practice of many-valued log...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Dordrecht :
Springer Netherlands
[20..].
Cham : Springer Nature |
| Edición: | 1st ed. 2011. |
| Colección: | Trends in Logic, Studia Logica Library
35 |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advanced Łukasiewicz calculus and MV-algebras, Texte imprimé, 9789400708396 • Advanced Łukasiewicz calculus and MV-algebras, Texte imprimé, 9789400736603 • Advanced Łukasiewicz calculus and MV-algebras, Texte imprimé, 9789400708419 |
Tabla de Contenidos:
- 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