A logic for arguing about probabilities in measure teams
| Authors |
|
|---|---|
| Publication date | 08-2017 |
| Journal | Archive for Mathematical Logic |
| Volume | Issue number | 56 | 5-6 |
| Pages (from-to) | 475-489 |
| Number of pages | 15 |
| Organisations |
|
| 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. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1007/s00153-017-0535-x |
| Other links | https://www.scopus.com/pages/publications/85017454621 |
| Permalink to this page | |