Probability functions in the context of signed involutive meadows
Logic
2016-12-23 v4
Abstract
The Kolmogorov axioms for probability functions are placed in the context of signed meadows. A completeness theorem is stated and proven for the resulting equational theory of probability calculus. Elementary definitions of probability theory are restated in this framework.
Keywords
Cite
@article{arxiv.1307.5173,
title = {Probability functions in the context of signed involutive meadows},
author = {Jan A. Bergstra and Alban Ponse},
journal= {arXiv preprint arXiv:1307.5173},
year = {2016}
}
Comments
20 pages, 6 tables, some minor errors are corrected