%0 Conference Proceedings
%T Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
%+ University of Amsterdam [Amsterdam] = Universiteit van Amsterdam (UvA)
%A Bergstra, Jan, A.
%A Ponse, Alban
%Z Part 4: Regular Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th International Workshop on Algebraic Development Techniques (WADT)
%C Gregynog, United Kingdom
%Y Phillip James
%Y Markus Roggenbach
%I Springer International Publishing
%3 Recent Trends in Algebraic Development Techniques
%V LNCS-10644
%P 73-87
%8 2016-09-21
%D 2016
%R 10.1007/978-3-319-72044-9_6
%K Meadow
%K Bayes’ theorem
%K Bayesian reasoning
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-01767464/document
%2 https://inria.hal.science/hal-01767464/file/433330_1_En_6_Chapter.pdf
%L hal-01767464
%U https://inria.hal.science/hal-01767464
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-WADT
%~ IFIP-LNCS-10644