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
coherencesubjective probabilitymany-valued logicMV-algebrasatisfiabilityimprecise probabilitysecond-order uncertaintyprobabilistic logicbetting framework
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)
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