Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01767464
Contributor : Hal Ifip <>
Submitted on : Monday, April 16, 2018 - 11:34:40 AM
Last modification on : Monday, April 16, 2018 - 11:36:29 AM

File

433330_1_En_6_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Jan Bergstra, Alban Ponse. Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract). 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.73-87, ⟨10.1007/978-3-319-72044-9_6⟩. ⟨hal-01767464⟩

Share

Metrics

Record views

95

Files downloads

83