A logical characterization of coherence for imprecise probabilities

DOI10.1016/j.ijar.2011.06.004zbMath1244.03082OpenAlexW2093683589MaRDI QIDQ648377

Martina Fedel, Hykel Hosni, Franco Montagna

Publication date: 22 November 2011

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2011.06.004

zbMATH Keywords

coherencesubjective probabilitymany-valued logicMV-algebrasatisfiabilityimprecise probabilitysecond-order uncertaintyprobabilistic logicbetting framework

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) MV-algebras (06D35) Many-valued logic (03B50)

Related Items (7)

Franco Montagna's work on provability logic and many-valued logic ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Optimal strategic reasoning with McNaughton functions ⋮ On the logical structure of de Finetti's notion of event ⋮ Stable Non-standard Imprecise Probabilities ⋮ Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics ⋮ Non-standard probability, coherence and conditional probability on many-valued events

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-reversible betting games on fuzzy events: complexity and algebra
• Belief models: An order-theoretic investigation
• Every state on semisimple MV-algebra is integral
• Bookmaking over infinite-valued events
• A probabilistic logic based on the acceptability of gambles
• Notes on conditional previsions
• MV-algebras with internal states and probabilistic fuzzy logics
• De Finetti's no-Dutch-book criterion for Gödel logic
• Updating coherent previsions on finite spaces
• Varieties of modal (classificatory) and comparative probability
• Tensor products and the Loomis-Sikorski theorem for MV-algebras
• Metamathematics of fuzzy logic
• A new understanding of subjective probability and its generalization to lower and upper prevision.
• MV-algebras, multiple bets and subjective states
• Algebraic foundations of many-valued reasoning
• Averaging the truth-value in Łukasiewicz logic
• De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]
• Imprecise probability trees: bridging two theories of imprecise probability
• Can logic be combined with probability? Probably
• Probability and Finance
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Stationary lower probabilities and unstable averages
• De Finetti, Countable Additivity, Consistency and Coherence
• Invariant Measures in Free MV-Algebras
• Algebraizable logics
• The Uncertain Reasoner's Companion
• Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
• Truth and Simplicity

This page was built for publication: A logical characterization of coherence for imprecise probabilities