Interpretation of De Finetti coherence criterion in Łukasiewicz logic
Let \(E\) be a set of \(n\) events and consider a set \(W\) of possible worlds, i.e. functions from \(E\) to \([0,1]\). The main theorem of the paper states that if \(W\) is a nonempty closed subset of \([0,1]^E\), then any other map \(\beta:E \to [0,1]\) that is ``coherent with respect to \(W\) (in the sense of De Finetti) is a state over the MV-algebra of McNaughton functions over \(n\) variables restricted to \(W\) (hence it is an integral with respect to a probability measure on \(W\)), and it is a convex combination of elements of \(W\) (and vice versa). Further, it is shown that any closed set \(W \subseteq [0,1]^E\) is associated with a theory \(\Theta\) in Łukasiewicz logic given by the set of formulas taking value 1 by the (unique) extensions of elements of \(W\) to the set of all Łukasiewicz formulas with \(n\) variables. Then probability assignments that are coherent with respect to a closed \(W\subseteq [0,1]^n\) are convex combinations of Łukasiewicz valuations satisfying \(\Theta\). Hence, when dealing with closed sets of possible worlds assigning values in \([0,1]\) to events, Łukasiewicz logic plays a prominent role.
- De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
- Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
- THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS
- Faithful and Invariant Conditional Probability in Łukasiewicz Logic
- Algebraic foundations of many-valued reasoning
- Averaging the truth-value in Łukasiewicz logic
- Bookmaking over infinite-valued events
- Conditional probability on MV-algebras
- De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
- De Finetti's no-Dutch-book criterion for Gödel logic
- Decidable and undecidable prime theories in infinite-valued logic
- Faithful and Invariant Conditional Probability in Łukasiewicz Logic
- Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
- Geometry of Robinson consistency in Łukasiewicz logic
- Gödel incompleteness in AF C*-algebras
- scientific article; zbMATH DE number 3124827 (Why is no real title available?)
- scientific article; zbMATH DE number 3948213 (Why is no real title available?)
- scientific article; zbMATH DE number 3514748 (Why is no real title available?)
- scientific article; zbMATH DE number 1833393 (Why is no real title available?)
- scientific article; zbMATH DE number 1857857 (Why is no real title available?)
- scientific article; zbMATH DE number 3261280 (Why is no real title available?)
- scientific article; zbMATH DE number 3357434 (Why is no real title available?)
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Invariant Measures in Free MV-Algebras
- L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique
- Metamathematics of fuzzy logic
- Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
- Simplification rules for the coherent probability assessment problem
- The Haar theorem for lattice-ordered abelian groups with order-unit
- De Finetti's no-Dutch-book criterion for Gödel logic
- A way to interpret Łukasiewicz logic and basic logic
- De Finetti coherence and logical consistency
- Layers of zero probability and stable coherence over Łukasiewicz events
- An approach to stochastic processes via non-classical logic
- States on EMV-algebras
- De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
- Coherence of the product law for independent continuous events
- Possibilistic and probabilistic logic under coherence: default reasoning and system P
- Interval MV-algebras and generalizations.
- Strict coherence on many-valued events
- Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
- scientific article; zbMATH DE number 7687784 (Why is no real title available?)
- Finite axiomatizability in Łukasiewicz logic
- Probability measures in the logic of nilpotent minimum
This page was built for publication: Interpretation of De Finetti coherence criterion in Łukasiewicz logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035659)
