A Logic for Arguing About Probabilities in Measure Teams
Logic
2016-09-09 v4
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.
Cite
@article{arxiv.1509.01812,
title = {A Logic for Arguing About Probabilities in Measure Teams},
author = {Tapani Hyttinen and Gianluca Paolini and Jouko Väänänen},
journal= {arXiv preprint arXiv:1509.01812},
year = {2016}
}