Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A logic for arguing about probabilities in measure teams

A logic for arguing about probabilities in measure teams 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

A logic for arguing about probabilities in measure teams

Loading next page...
 
/lp/springer-journals/a-logic-for-arguing-about-probabilities-in-measure-teams-ADPQV6EajY

References (11)

Publisher
Springer Journals
Copyright
Copyright © 2017 by Springer-Verlag Berlin Heidelberg
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-017-0535-x
Publisher site
See Article on Publisher Site

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.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Apr 13, 2017

There are no references for this article.