Interpretation of De Finetti coherence criterion in Łukasiewicz logic

DOI10.1016/j.apal.2009.05.010zbMath1180.03029OpenAlexW2019042629MaRDI QIDQ1035659

Daniele Mundici

Publication date: 4 November 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.05.010

zbMATH Keywords

MV-algebramany-valued logicsŁukasiewicz logicDutch bookBorel probability measureDe Finetti coherence criterion

Mathematics Subject Classification ID

Probability and inductive logic (03B48) MV-algebras (06D35) Many-valued logic (03B50) Axioms; other general questions in probability (60A05)

Related Items (7)

Possibilistic and Probabilistic Logic under Coherence: Default Reasoning and System P ⋮ Unnamed Item ⋮ Interval MV-algebras and generalizations. ⋮ Coherence of the Product Law for Independent Continuous Events ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ An approach to stochastic processes via non-classical logic ⋮ States on EMV-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conditional probability on MV-algebras
• Bookmaking over infinite-valued events
• The Haar theorem for lattice-ordered abelian groups with order-unit
• De Finetti's no-Dutch-book criterion for Gödel logic
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
• Metamathematics of fuzzy logic
• Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
• Simplification rules for the coherent probability assessment problem
• Algebraic foundations of many-valued reasoning
• Averaging the truth-value in Łukasiewicz logic
• Geometry of Robinson consistency in Łukasiewicz logic
• De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]
• L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique
• Invariant Measures in Free MV-Algebras
• Gödel incompleteness in AF C*-algebras
• Faithful and Invariant Conditional Probability in Łukasiewicz Logic
• Decidable and undecidable prime theories in infinite-valued logic

This page was built for publication: Interpretation of De Finetti coherence criterion in Łukasiewicz logic