Advanced Łukasiewicz calculus and MV-algebras

In recent years, the discovery of the relationships between formulas in Lukasiewicz 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-value...

Ausführliche Beschreibung

Bibliographische Detailangaben
1. Verfasser: Mundici, Daniele 1946- (VerfasserIn)
Körperschaft: SpringerLink (Online service)
Format: Electronic Resource
Sprache:English
Veröffentlicht: Dordrecht, Netherlands Springer Dordrecht 2011.
Schriftenreihe:Trends in Logic 35
Schlagworte:
Online Zugang:Available for UP System via Springer Link.