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...
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Format: | Electronic Resource |
| Sprog: | English |
| Udgivet: |
Dordrecht, Netherlands
Springer Dordrecht
2011.
|
| Serier: | Trends in Logic
35 |
| Fag: | |
| Online adgang: | Available for UP System via Springer Link. |