{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:19Z","timestamp":1750220659031,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T00:00:00Z","timestamp":1594166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA2386-18-1-4028"],"award-info":[{"award-number":["FA2386-18-1-4028"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,8]]},"DOI":"10.1145\/3373718.3394742","type":"proceedings-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T00:23:18Z","timestamp":1590452598000},"page":"944-957","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A characterisation of ordered abstract probabilities"],"prefix":"10.1145","author":[{"given":"Abraham","family":"Westerbaan","sequence":"first","affiliation":[{"name":"Radboud Universiteit, Nijmegen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bas","family":"Westerbaan","sequence":"additional","affiliation":[{"name":"University College, London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"van de Wetering","sequence":"additional","affiliation":[{"name":"Radboud Universiteit, Nijmegen"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021878"},{"volume-title":"Probabilistic and Quantum Computation. TYPES 2015 ([n.d.]), 8.","author":"Adams Robin","key":"e_1_3_2_1_2_1","unstructured":"Robin Adams and Bart Jacobs . [n.d.]. State and Effect Logics for Deterministic, Non-deterministic , Probabilistic and Quantum Computation. TYPES 2015 ([n.d.]), 8. Robin Adams and Bart Jacobs. [n.d.]. State and Effect Logics for Deterministic, Non-deterministic, Probabilistic and Quantum Computation. TYPES 2015 ([n.d.]), 8."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(80)90212-4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.75.032304"},{"key":"e_1_3_2_1_5_1","volume-title":"Every Effect Algebra can be Made into a Total Algebra. Algebra universalis 61, 2","author":"Chajda Ivan","year":"2009","unstructured":"Ivan Chajda , Radomir Hala\u0161 , and Jan K\u00fchr . 2009. Every Effect Algebra can be Made into a Total Algebra. Algebra universalis 61, 2 ( 2009 ), 139. https:\/\/doi.org\/10.1007\/s00012--009--0010--6 10.1007\/s00012--009--0010--6 Ivan Chajda, Radomir Hala\u0161, and Jan K\u00fchr. 2009. Every Effect Algebra can be Made into a Total Algebra. Algebra universalis 61, 2 (2009), 139. https:\/\/doi.org\/10.1007\/s00012--009--0010--6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.84.012311"},{"key":"e_1_3_2_1_8_1","unstructured":"Kenta Cho Bart Jacobs Bas E Westerbaan and Abraham A Westerbaan. 2015. An Introduction to Effectus Theory. (2015). https:\/\/arxiv.org\/abs\/151205813.  Kenta Cho Bart Jacobs Bas E Westerbaan and Abraham A Westerbaan. 2015. An Introduction to Effectus Theory. (2015). https:\/\/arxiv.org\/abs\/151205813."},{"key":"e_1_3_2_1_9_1","unstructured":"Kenta Cho Bas Westerbaan and John van de Wetering. 2020. Dichotomy between deterministic and probabilistic models in countably additive effectus theory. (2020). https:\/\/arxiv.org\/abs\/2003.10245.  Kenta Cho Bas Westerbaan and John van de Wetering. 2020. Dichotomy between deterministic and probabilistic models in countably additive effectus theory. (2020). https:\/\/arxiv.org\/abs\/2003.10245."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.3467463"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings 14th International Conference on Quantum Physics and Logic","author":"Moliner Pau Enrique","year":"2017","unstructured":"Pau Enrique Moliner , Chris Heunen , and Sean Tull . 2018. Space in Monoidal Categories . In Proceedings 14th International Conference on Quantum Physics and Logic , Nijmegen, The Netherlands, 3--7 July 2017 (Electronic Proceedings in Theoretical Computer Science), Bob Coecke and Aleks Kissinger (Eds.), Vol. 266 . Open Publishing Association , 399--410. https:\/\/doi.org\/10.4204\/EPTCS.266.25 10.4204\/EPTCS.266.25 Pau Enrique Moliner, Chris Heunen, and Sean Tull. 2018. Space in Monoidal Categories. In Proceedings 14th International Conference on Quantum Physics and Logic, Nijmegen, The Netherlands, 3--7 July 2017 (Electronic Proceedings in Theoretical Computer Science), Bob Coecke and Aleks Kissinger (Eds.), Vol. 266. Open Publishing Association, 399--410. https:\/\/doi.org\/10.4204\/EPTCS.266.25"},{"key":"e_1_3_2_1_12_1","volume-title":"Effect Algebras and Unsharp Quantum Logics. Foundations of physics 24, 10","author":"Foulis David J","year":"1994","unstructured":"David J Foulis and Mary K Bennett . 1994. Effect Algebras and Unsharp Quantum Logics. Foundations of physics 24, 10 ( 1994 ), 1331--1352. https:\/\/doi.org\/10.1007\/BF02283036 10.1007\/BF02283036 David J Foulis and Mary K Bennett. 1994. Effect Algebras and Unsharp Quantum Logics. Foundations of physics 24, 10 (1994), 1331--1352. https:\/\/doi.org\/10.1007\/BF02283036"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10701-009-9344-3"},{"key":"e_1_3_2_1_14_1","volume-title":"Unrestricted Stone Duality for Markov Processes. In 2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS).IEEE, 1--9.","author":"Furber Robert","year":"2017","unstructured":"Robert Furber , Dexter Kozen , Kim Larsen , Radu Mardare , and Prakash Panangaden . 2017 . Unrestricted Stone Duality for Markov Processes. In 2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS).IEEE, 1--9. Robert Furber, Dexter Kozen, Kim Larsen, Radu Mardare, and Prakash Panangaden. 2017. Unrestricted Stone Duality for Markov Processes. In 2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS).IEEE, 1--9."},{"volume-title":"Rings of continuous functions","author":"Gillman Leonard","key":"e_1_3_2_1_15_1","unstructured":"Leonard Gillman and Meyer Jerison . 2013. Rings of continuous functions . Springer . https:\/\/doi.org\/10.1007\/978--1-4615--7819--2 10.1007\/978--1-4615--7819--2 Leonard Gillman and Meyer Jerison. 2013. Rings of continuous functions. Springer. https:\/\/doi.org\/10.1007\/978--1-4615--7819--2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.indag.2017.06.007"},{"key":"e_1_3_2_1_17_1","unstructured":"Stefano Gogioso. 2017. Fantastic Quantum Theories and Where to Find Them. (2017). https:\/\/arxiv.org\/abs\/1703.10576.  Stefano Gogioso. 2017. Fantastic Quantum Theories and Where to Find Them. (2017). https:\/\/arxiv.org\/abs\/1703.10576."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02302453"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-005-8015-1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0034-4877(08)80030-4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0034-4877(02)80007-6"},{"key":"e_1_3_2_1_22_1","first-page":"645","article-title":"Representation theorem for convex effect algebras","volume":"39","author":"Gudder Stanley","year":"1998","unstructured":"Stanley Gudder and Sylvia Pulmannov\u00e1 . 1998 . Representation theorem for convex effect algebras . Commentationes Mathematicae Universitatis Carolinae 39 , 4 (1998), 645 -- 660 . Stanley Gudder and Sylvia Pulmannov\u00e1. 1998. Representation theorem for convex effect algebras. Commentationes Mathematicae Universitatis Carolinae 39, 4 (1998), 645--660.","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"e_1_3_2_1_23_1","first-page":"317","article-title":"Effect Algebra Counterexamples","volume":"46","author":"Gudder Stanley P","year":"1996","unstructured":"Stanley P Gudder and Richard Greechie . 1996 . Effect Algebra Counterexamples . Mathematica Slovaca 46 , 4(1996), 317 -- 325 . Stanley P Gudder and Richard Greechie. 1996. Effect Algebra Counterexamples. Mathematica Slovaca 46, 4(1996), 317--325.","journal-title":"Mathematica Slovaca"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-007-9472-5"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:IJTP.0000049016.83846.72"},{"key":"e_1_3_2_1_26_1","unstructured":"Lucien Hardy. 2001. Quantum Theory From Five Reasonable Axioms. (2001). https:\/\/arxiv.org\/abs\/quant-ph\/0101012.  Lucien Hardy. 2001. Quantum Theory From Five Reasonable Axioms. (2001). https:\/\/arxiv.org\/abs\/quant-ph\/0101012."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.04.005"},{"key":"e_1_3_2_1_28_1","volume-title":"New directions in categorical logic, for classical, probabilistic and quantum logic. arXiv preprint arXiv:1205.3940","author":"Jacobs Bart","year":"2012","unstructured":"Bart Jacobs . 2012. New directions in categorical logic, for classical, probabilistic and quantum logic. arXiv preprint arXiv:1205.3940 ( 2012 ). Bart Jacobs. 2012. New directions in categorical logic, for classical, probabilistic and quantum logic. arXiv preprint arXiv:1205.3940 (2012)."},{"key":"e_1_3_2_1_29_1","volume-title":"Coreflections in Algebraic Quantum Logic. Foundations of physics 42, 7","author":"Jacobs Bart","year":"2012","unstructured":"Bart Jacobs and Jorik Mandemaker . 2012. Coreflections in Algebraic Quantum Logic. Foundations of physics 42, 7 ( 2012 ), 932--958. https:\/\/doi.org\/10.1007\/s10701--012--9654--8 10.1007\/s10701--012--9654--8 Bart Jacobs and Jorik Mandemaker. 2012. Coreflections in Algebraic Quantum Logic. Foundations of physics 42, 7 (2012), 932--958. https:\/\/doi.org\/10.1007\/s10701--012--9654--8"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139519687.008"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.12.015"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700019705"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11083-014-9344-6"},{"volume-title":"Stone spaces","author":"Johnstone Peter T","key":"e_1_3_2_1_34_1","unstructured":"Peter T Johnstone . 1982. Stone spaces . Vol. 3 . Cambridge university press . Peter T Johnstone. 1982. Stone spaces. Vol. 3. Cambridge university press."},{"key":"e_1_3_2_1_35_1","unstructured":"Younesse Kaddar and Richard Garner. 2019. Tricocycloids Effect Monoids and Effectuses. (2019).  Younesse Kaddar and Richard Garner. 2019. Tricocycloids Effect Monoids and Effectuses. (2019)."},{"volume-title":"A representation theory for commutative topological algebra. Number 7","author":"Kadison Richard V","key":"e_1_3_2_1_36_1","unstructured":"Richard V Kadison . 1951. A representation theory for commutative topological algebra. Number 7 . American Mathematical Society . https:\/\/doi.org\/10.1090\/memo\/0007 10.1090\/memo Richard V Kadison. 1951. A representation theory for commutative topological algebra. Number 7. American Mathematical Society. https:\/\/doi.org\/10.1090\/memo\/0007"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01223881"},{"key":"e_1_3_2_1_38_1","volume-title":"Classes of Logics Representable as Kernels of Measures. Contributions to General Algebra 9","author":"Mayet Ren\u00e9","year":"1995","unstructured":"Ren\u00e9 Mayet and Mirko Navara . 1995. Classes of Logics Representable as Kernels of Measures. Contributions to General Algebra 9 ( 1995 ), 241--248. Ren\u00e9 Mayet and Mirko Navara. 1995. Classes of Logics Representable as Kernels of Measures. Contributions to General Algebra 9 (1995), 241--248."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0034-4877(06)80054-6"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1003619806024"},{"key":"e_1_3_2_1_42_1","volume-title":"QPL 2016 (EPTCS)","volume":"236","author":"Roumen Frank","year":"2016","unstructured":"Frank Roumen . 2016 . Cohomology of effect algebras . In QPL 2016 (EPTCS) , Vol. 236 . 174--202. https:\/\/doi.org\/10.4204\/eptcs.236.12 https:\/\/arxiv.org\/abs\/1602.00567. 10.4204\/eptcs.236.12 Frank Roumen. 2016. Cohomology of effect algebras. In QPL 2016 (EPTCS), Vol. 236. 174--202. https:\/\/doi.org\/10.4204\/eptcs.236.12 https:\/\/arxiv.org\/abs\/1602.00567."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physleta.2009.02.073"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2018.02.012"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-007-9492-1"},{"key":"e_1_3_2_1_46_1","unstructured":"Sean Tull. 2016. A Categorical Reconstruction of Quantum Theory. (2016). https:\/\/arxiv.org\/abs\/1804.02265.  Sean Tull. 2016. A Categorical Reconstruction of Quantum Theory. (2016). https:\/\/arxiv.org\/abs\/1804.02265."},{"key":"e_1_3_2_1_47_1","volume-title":"An effect-theoretic reconstruction of quantum theory. Compositionality 1 (12","author":"van de Wetering John","year":"2019","unstructured":"John van de Wetering . 2019. An effect-theoretic reconstruction of quantum theory. Compositionality 1 (12 2019 ), 1. https:\/\/doi.org\/10.32408\/compositionality-1--1 10.32408\/compositionality-1--1 John van de Wetering. 2019. An effect-theoretic reconstruction of quantum theory. Compositionality 1 (12 2019), 1. https:\/\/doi.org\/10.32408\/compositionality-1--1"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.5093504"},{"key":"e_1_3_2_1_49_1","unstructured":"Arnoud C M van Rooij. 2011. Lecture notes on Riesz Spaces. https:\/\/github.com\/awesterb\/riesz-spaces.  Arnoud C M van Rooij. 2011. Lecture notes on Riesz Spaces. https:\/\/github.com\/awesterb\/riesz-spaces."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1088\/1751-8113\/42\/18\/185206"},{"key":"e_1_3_2_1_52_1","unstructured":"Abraham A Westerbaan Bas E Westerbaan and John van de Wetering. 2019. The three types of normal sequential effect algebras. (2019). https:\/\/arxiv.org\/abs\/2004.12749.  Abraham A Westerbaan Bas E Westerbaan and John van de Wetering. 2019. The three types of normal sequential effect algebras. (2019). https:\/\/arxiv.org\/abs\/2004.12749."},{"volume-title":"Sequential Product on Effect Logics. Master's thesis","author":"Westerbaan Bas E","key":"e_1_3_2_1_53_1","unstructured":"Bas E Westerbaan . 2013. Sequential Product on Effect Logics. Master's thesis . Radboud University Nijmegen . https:\/\/www.ru.nl\/publish\/pages\/813276\/masterscriptie_bas_westerbaan.pdf. Bas E Westerbaan. 2013. Sequential Product on Effect Logics. Master's thesis. Radboud University Nijmegen. https:\/\/www.ru.nl\/publish\/pages\/813276\/masterscriptie_bas_westerbaan.pdf."},{"key":"e_1_3_2_1_54_1","volume-title":"https:\/\/arxiv.org\/abs\/1612 03327","author":"Westerbaan Bas E","year":"2016","unstructured":"Bas E Westerbaan . 2016. Yosida Duality . ( 2016 ). https:\/\/arxiv.org\/abs\/1612 03327 . Bas E Westerbaan. 2016. Yosida Duality. (2016). https:\/\/arxiv.org\/abs\/1612 03327."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-25.4.675"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.3792\/pia\/1195573861"}],"event":{"name":"LICS '20: 35th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"Saarbr\u00fccken Germany","acronym":"LICS '20"},"container-title":["Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394742","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3373718.3394742","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373718.3394742","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373718.3394742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:35Z","timestamp":1750197755000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394742"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,8]]},"references-count":53,"alternative-id":["10.1145\/3373718.3394742","10.1145\/3373718"],"URL":"https:\/\/doi.org\/10.1145\/3373718.3394742","relation":{},"subject":[],"published":{"date-parts":[[2020,7,8]]},"assertion":[{"value":"2020-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}