A Logic for Arguing About Probabilities in Measure Teams
classification
🧮 math.LO
keywords
probabilitiesfirst-orderteamsarguingassignmentsaxiomatisationaxiomatisebell
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.