A logic for arguing about probabilities in measure teams

作者：Hyttinen Tapani; Paolini Gianluca^*; Vaananen Jouko

来源：Archive for Mathematical Logic, 2017, 56(5-6): 475-489.

DOI：10.1007/s00153-017-0535-x

• Probability logic
• Team semantics
• Dependence logic

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.

• 出版日期2017-8