THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS
From MaRDI portal
Publication:5117594
DOI10.1017/S1755020319000546zbMath1485.03058arXiv2107.12624MaRDI QIDQ5117594
Publication date: 26 August 2020
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2107.12624
Probability and inductive logic (03B48) MV-algebras (06D35) Many-valued logic (03B50) Axioms; other general questions in probability (60A05)
Related Items
Logical perspectives on the foundations of probability ⋮ Embeddings of metric Boolean algebras in \(\mathbb{R}^N\) ⋮ Probability over Płonka sums of Boolean algebras: states, metrics and topology
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- States in Łukasiewicz logic correspond to probabilities of rational polyhedra
- From classical to intuitionistic probability
- Advanced Łukasiewicz calculus and MV-algebras
- Topics in topology
- Finite axiomatizability in Łukasiewicz logic
- Measures on Boolean algebras
- Every state on semisimple MV-algebra is integral
- Bookmaking over infinite-valued events
- The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency
- Convex MV-algebras: many-valued logics meet decision theory
- Algebraic foundations of many-valued reasoning
- Averaging the truth-value in Łukasiewicz logic
- Many-valued logic and mixed integer programming
- Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
- On the logical structure of de Finetti's notion of event
- De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]
- Concerning measures on Boolean algebras
- Stone duality for real-valued multisets
- Fair bets and inductive probabilities
- Algebraic Analysis of Many Valued Logics
- Invariant Measures in Free MV-Algebras
- A constructive proof of McNaughton's theorem in infinite-valued logic
- STRICT COHERENCE ON MANY-VALUED EVENTS
- Pure Inductive Logic
- A theorem about infinite-valued sentential logic
- Coherence and the axioms of confirmation