Convex MV-Algebras: Many-Valued Logics Meet Decision Theory
- First Online:
- 35 Downloads
This paper introduces a logical analysis of convex combinations within the framework of Łukasiewicz real-valued logic. This provides a natural link between the fields of many-valued logics and decision theory under uncertainty, where the notion of convexity plays a central role. We set out to explore such a link by defining convex operators on MV-algebras, which are the equivalent algebraic semantics of Łukasiewicz logic. This gives us a formal language to reason about the expected value of bounded random variables. As an illustration of the applicability of our framework we present a logical version of the Anscombe–Aumann representation result.
KeywordsMV-algebras Convexity Uncertainty measures Anscombe–Aumann
Unable to display preview. Download preview PDF.