A Logic for Arguing About Probabilities in Measure Teams
Abstract
We use sets of assignments, a.k.a. teams, and measures on them to define probabilities of first-order formulas in given data. We then axiomatise first-order properties of such probabilities and prove a completeness theorem for our axiomatisation. We use the Hardy-Weinberg Principle of biology and the Bell's Inequalities of quantum physics as examples.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2015
- DOI:
- 10.48550/arXiv.1509.01812
- arXiv:
- arXiv:1509.01812
- Bibcode:
- 2015arXiv150901812H
- Keywords:
-
- Mathematics - Logic;
- 03B48