Advanced Łukasiewicz calculus and MV-algebras

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Prologue: de Finetti Coherence Criterion and Łukasiewicz Logic
3. Altmetric Badge
   Chapter 2 Rational Polyhedra, Interpolation, Amalgamation
4. Altmetric Badge
   Chapter 3 The Galois Connection (Mod, Th) in Ł $$\infty$$
5. Altmetric Badge
   Chapter 4 The Spectral and the Maximal Spectral Space
6. Altmetric Badge
   Chapter 5 De Concini–Procesi Theorem and Schauder Bases
7. Altmetric Badge
   Chapter 6 Bases and Finitely Presented MV-Algebras
8. Altmetric Badge
   Chapter 7 The Free Product of MV-Algebras
9. Altmetric Badge
   Chapter 8 Direct Limits, Confluence and Multisets
10. Altmetric Badge
    Chapter 9 Tensors
11. Altmetric Badge
    Chapter 10 States and the Kroupa–Panti Theorem
12. Altmetric Badge
    Chapter 11 The MV-Algebraic Loomis–Sikorski Theorem
13. Altmetric Badge
    Chapter 12 The MV-Algebraic Stone–von Neumann Theorem
14. Altmetric Badge
    Chapter 13 Recurrence, Probability, Measure
15. Altmetric Badge
    Chapter 14 Measuring Polyhedra and Averaging Truth-Values
16. Altmetric Badge
    Chapter 15 A Rényi Conditional in Łukasiewicz Logic
17. Altmetric Badge
    Chapter 16 The Lebesgue State and the Completion of $${\mathsf {FREE}}_n$$
18. Altmetric Badge
    Chapter 17 Finitely Generated Projective MV-Algebras
19. Altmetric Badge
    Chapter 18 Effective Procedures for $$\hbox{\L}_{\infty}$$ and MV-Algebras
20. Altmetric Badge
    Chapter 19 A First-Order Łukasiewicz Logic with [0, 1]-Identity
21. Altmetric Badge
    Chapter 20 Applications, Further Reading, Selected Problems
22. Altmetric Badge
    Chapter 21 Background Results