probability statistics logic imprecise probability credence credal state Choquet capacity intuitionistic logic Martin-Lof type theory homotopy type theory

I prove a connection between the logical framework for intuitive probabilistic reasoning (IPR) introduced by Crane (2017) and sets of imprecise probabilities. More specifically, this connection provides a straightforward interpretation to sets of imprecise probabilities as subjective credal states, giving a formal semantics for Crane's formal system of IPR. The main theorem establishes the IPR framework as a potential logical foundation for imprecise probability that is independent of the traditional probability calculus.

➤ Version 1 (2018-08-21) |

Harry Crane (2018). Imprecise probabilities as a semantics for intuitive probabilistic reasoning. Researchers.One, https://researchers.one/articles/imprecise-probabilities-as-a-semantics-for-intuitive-probabilistic-reasoning/5f52699b36a3e45f17ae7d3a/v1.

© 2018-2020 Researchers.One