THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS

DOI10.1017/S1755020319000546zbMATH Open1485.03058arXiv2107.12624MaRDI QIDQ5117594FDOQ5117594

Tommaso Flaminio

Publication date: 26 August 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Abstract: This paper builds on a recent article co-authored by the present author, H. Hosni and F. Montagna. It is meant to contribute to the logical foundations of probability theory on many-valued events and, specifically, to a deeper understanding of the notion of strict coherence. In particular, we will make use of geometrical, measure-theoretical and logical methods to provide three characterizations of strict coherence on formulas of infinite-valued {L}ukasewicz logic

Full work available at URL: https://arxiv.org/abs/2107.12624

Recommendations

• Strict coherence on many-valued events
• Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism
• A comparison of conditional coherence concepts for finite spaces
• De Finetti coherence and logical consistency
• A note on the decidability of de Finetti's coherence
• Towards a standard completeness for a probabilistic logic on infinite-valued events
• A logical characterization of coherence for imprecise probabilities
• Non-standard probability, coherence and conditional probability on many-valued events
• On S-coherence

zbMATH Keywords

MV-algebrasstrict coherencede Finetti's coherenceŁukasiewicz logicfaithful states

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Algebraic foundations of many-valued reasoning
• Fair bets and inductive probabilities
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pure Inductive Logic
• Title not available (Why is that?)
• Averaging the truth-value in Łukasiewicz logic
• De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
• Invariant Measures in Free MV-Algebras
• A theorem about infinite-valued sentential logic
• Advanced Łukasiewicz calculus and MV-algebras
• Every state on semisimple MV-algebra is integral
• STRICT COHERENCE ON MANY-VALUED EVENTS
• Coherence and the axioms of confirmation
• Bookmaking over infinite-valued events
• Measures on Boolean algebras
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Many-valued logic and mixed integer programming
• Topics in topology
• Stone duality for real-valued multisets
• States in Łukasiewicz logic correspond to probabilities of rational polyhedra
• From classical to intuitionistic probability
• Title not available (Why is that?)
• A constructive proof of McNaughton's theorem in infinite-valued logic
• Finite axiomatizability in Łukasiewicz logic
• The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency
• Concerning measures on Boolean algebras
• Convex MV-algebras: many-valued logics meet decision theory
• Title not available (Why is that?)
• On the logical structure of de Finetti's notion of event

Cited In (4)

• Probability over Płonka sums of Boolean algebras: states, metrics and topology
• A logico-geometric comparison of coherence for non-additive uncertainty measures
• Logical perspectives on the foundations of probability
• Embeddings of metric Boolean algebras in \(\mathbb{R}^N\)

This page was built for publication: THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117594)