Title | ||
---|---|---|
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract). |
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. |
Year | Venue | Field |
---|---|---|
2016 | WADT | Bayesian inference,Algebra,Gödel's completeness theorem,Computer science,Theoretical computer science,Probability axioms,Probability theory,Bayes' theorem,Equational theory |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan A. Bergstra | 1 | 1946 | 240.42 |
Alban Ponse | 2 | 404 | 38.05 |