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...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Dordrecht :
Springer Netherlands
[20..].
Cham : Springer Nature |
| Udgivelse: | 1st ed. 2011. |
| Serier: | Trends in Logic, Studia Logica Library
35 |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 |
| LEADER | 04642nam a22003497a 4500 | ||
|---|---|---|---|
| 001 | 968838 | ||
| 008 | 110722q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN153867604 | ||
| 020 | |a 9789400708402 | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.3 | ||
| 100 | 1 | |a Mundici, D. | |
| 245 | 1 | 0 | |a Advanced Łukasiewicz calculus and MV-algebras |c by D. Mundici. |
| 250 | |a 1st ed. 2011. | ||
| 260 | |a Dordrecht : |b Springer Netherlands. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Trends in Logic, Studia Logica Library |v 35 |x 2212-7313 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a 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 | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 logic. This book is intended as an up-to-date monograph on in nite-valued Łukasiewicz logic and MV-algebras. Each chapter features a combination of classical and re cent results, well beyond the traditional domain of algebraic logic: among others, a comprehensive account is given of many e ective procedures that have been re cently developed for the algebraic and geometric objects represented by formulas in Łukasiewicz logic. The book embodies the viewpoint that modern Łukasiewicz logic and MV-algebras provide a benchmark for the study of several deep mathematical prob lems, such as Rényi conditionals of continuously valued events, the many-valued generalization of Carathéodory algebraic probability theory, morphisms and invari ant measures of rational polyhedra, bases and Schauder bases as jointly re nable partitions of unity, and rst-order logic with [0,1]-valued identity on Hilbert space. Complete versions are given of a compact body of recent results and techniques, proving virtually everything that is used throughout, so that the book can be used both for individual study and as a source of reference for the more advanced reader | ||
| 776 | 0 | |t Advanced Łukasiewicz calculus and MV-algebras |b Texte imprimé |z 9789400708396 | |
| 776 | 0 | |t Advanced Łukasiewicz calculus and MV-algebras |b Texte imprimé |z 9789400736603 | |
| 776 | 0 | |t Advanced Łukasiewicz calculus and MV-algebras |b Texte imprimé |z 9789400708419 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-94-007-0840-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-VFNGQKTW-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:75061594X |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-94-007-0840-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753974444 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-94-007-0840-2 |z Accès INSA CVL | |
| 997 | |0 968838 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||