A characterisation of ordered abstract probabilities

DOI10.1145/3373718.3394742zbMath1503.81018arXiv1912.10040OpenAlexW3101342170WikidataQ130929676 ScholiaQ130929676MaRDI QIDQ5145693

Bas Westerbaan, Abraham Westerbaan, John van de Wetering

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1912.10040

zbMATH Keywords

abstract probabilitieseffectus theoryeffect monoids

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Other nonclassical models of computation (68Q09)

Related Items (3)

Spectrality in convex sequential effect algebras ⋮ Unnamed Item ⋮ A computer scientist’s reconstruction of quantum theory*

This page was built for publication: A characterisation of ordered abstract probabilities