# 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.
Keywords :
Document type :
Conference papers
Domain :

Cited literature [16 references]

https://hal.inria.fr/hal-01767464
Contributor : Hal Ifip Connect in order to contact the contributor
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)

### Citation

Jan A. 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⟩

Record views