Probability Functions in the Context of Signed Involutive Meadows Extended Abstract
| Authors | |
|---|---|
| Publication date | 2017 |
| Host editors |
|
| Book title | Recent Trends in Algebraic Development Techniques |
| Book subtitle | 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 23rd IFIP WG 1.3 International Workshop |
| Pages (from-to) | 73–87 |
| Publisher | Cham: Springer |
| Organisations |
|
| 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 contribution |
| Language | English |
| Related publication | Probability functions in the context of signed involutive meadows |
| Published at | https://doi.org/10.1007/978-3-319-72044-9_6 |
| Other links | http://arxiv.org/abs/1307.5173v4 |
| Permalink to this page | |
