符号对合草甸语境下的概率函数
逻辑
2016-12-23 v4
摘要
将概率函数的 Kolmogorov 公理置于符号草甸（signed meadows）的语境中。陈述并证明了所得概率演算方程理论的完备性定理。在此框架下重述了概率论的基本定义。
引用
@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}
}
备注
20 pages, 6 tables, some minor errors are corrected