Advanced Łukasiewicz calculus and MV-algebras

• Main Author: Mundici, D. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2011.
• Series: Trends in Logic ; 35
• Subjects: Mathematics.; Mathematical logic.; Mathematical Logic and Foundations.

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...