{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,11,8]],"date-time":"2022-11-08T17:54:35Z","timestamp":1667930075722},"reference-count":42,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.340.5","type":"journal-article","created":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T16:58:12Z","timestamp":1630947492000},"page":"91-113","source":"Crossref","is-referenced-by-count":1,"title":["Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory"],"prefix":"10.4204","volume":"340","author":[{"given":"Kenta","family":"Cho","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Japan"}]},{"given":"Bas","family":"Westerbaan","sequence":"additional","affiliation":[{"name":"University College London"}]},{"given":"John","family":"van de Wetering","sequence":"additional","affiliation":[{"name":"Radboud Universiteit Nijmegen"}]}],"member":"2720","published-online":{"date-parts":[[2021,9,6]]},"reference":[{"issue":"1","key":"ArbibM1980","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0021-8693(80)90212-4","article-title":"Partially additive categories and flow-diagram semantics","volume":"62","author":"Arbib","year":"1980","journal-title":"Journal of Algebra"},{"issue":"3","key":"BarnumBCLS2010","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/12\/3\/033024","article-title":"Entropy and information causality in general probabilistic theories","volume":"12","author":"Barnum","year":"2010","journal-title":"New Journal of Physics"},{"key":"BarnumW2016","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-94-017-7303-4_11","article-title":"Post-Classical Probability Theory","volume-title":"Quantum Theory: Informational Foundations and Foils","author":"Barnum","year":"2016"},{"issue":"3","key":"barrett2007information","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.75.032304","article-title":"Information processing in generalized probabilistic theories","volume":"75","author":"Barrett","year":"2007","journal-title":"Physical Review A"},{"issue":"4","key":"BoergerK1996","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BF00122684","article-title":"A cogenerator for preseparated superconvex spaces","volume":"4","author":"B\u00f6rger","year":"1996","journal-title":"Applied Categorical Structures"},{"issue":"10","key":"CassinelliL2016","doi-asserted-by":"publisher","first-page":"1341","DOI":"10.1007\/s10701-016-0022-y","article-title":"An Axiomatic Basis for Quantum Mechanics","volume":"46","author":"Cassinelli","year":"2016","journal-title":"Foundations of Physics"},{"key":"ChiribellaDP2015","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-94-017-7303-4_6","article-title":"Quantum from Principles","volume-title":"Quantum Theory: Informational Foundations and Foils","author":"Chiribella","year":"2015"},{"issue":"6","key":"chiribella2010probabilistic","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.81.062348","article-title":"Probabilistic theories with purification","volume":"81","author":"Chiribella","year":"2010","journal-title":"Physical Review A"},{"key":"Cho2015","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"116","DOI":"10.4204\/EPTCS.195.9","article-title":"Total and Partial Computation in Categorical Quantum Foundations","volume-title":"12th International Workshop on Quantum Physics and Logic (QPL 2015)","volume":"195","author":"Cho","year":"2015"},{"key":"Cho2019PhD","volume-title":"Effectuses in Categorical Quantum Foundations","author":"Cho","year":"2019"},{"key":"cho2015introduction","article-title":"An Introduction to Effectus Theory","author":"Cho","year":"2015","journal-title":"arXiv preprint arXiv:1512.05813"},{"key":"DArianoCP2017","doi-asserted-by":"publisher","DOI":"10.1017\/9781107338340","volume-title":"Quantum Theory from First Principles: An Informational Approach","author":"D'Ariano","year":"2017"},{"issue":"3","key":"DaviesL1970","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01647093","article-title":"An operational approach to quantum probability","volume":"17","author":"Davies","year":"1970","journal-title":"Communications in Mathematical Physics"},{"issue":"3","key":"Edwards1970","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01646788","article-title":"The operational approach to algebraic quantum theory I","volume":"16","author":"Edwards","year":"1970","journal-title":"Communications in Mathematical Physics"},{"issue":"4","key":"EdwardsG1970","first-page":"323","article-title":"Monotone convergence in partially ordered vector spaces","volume":"12","author":"Edwards","year":"1970","journal-title":"Annales de l'I.H.P. Physique th\u00e9orique"},{"key":"moliner2017space","series-title":"Electronic Proceedings in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.4204\/EPTCS.266.25","article-title":"Space in Monoidal Categories","volume-title":"Proceedings 14th International Conference on Quantum Physics and Logic, Nijmegen, The Netherlands, 3-7 July 2017","volume":"266","author":"Enrique Moliner","year":"2018"},{"issue":"10","key":"foulis1994effect","doi-asserted-by":"publisher","first-page":"1331","DOI":"10.1007\/BF02283036","article-title":"Effect algebras and unsharp quantum logics","volume":"24","author":"Foulis","year":"1994","journal-title":"Foundations of physics"},{"key":"FoulisG2007","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/B978-044452870-4\/50028-5","article-title":"Quantum logic and partially ordered abelian groups","volume-title":"Handbook of Quantum Logic and Quantum Structures: Quantum Structures","author":"Foulis","year":"2007"},{"key":"Furber2017","volume-title":"Categorical Duality in Probability and Quantum Foundations","author":"Furber","year":"2017"},{"key":"Furber2018QPL","doi-asserted-by":"publisher","first-page":"107","DOI":"10.4204\/EPTCS.287.6","article-title":"Categorical Equivalences from State-Effect Adjunctions","volume-title":"15th International Conference on Quantum Physics and Logic (QPL 2018)","volume":"287","author":"Furber","year":"2019"},{"key":"gillman2013rings","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-7819-2","volume-title":"Rings of continuous functions","author":"Gillman","year":"2013"},{"issue":"3","key":"Gudder1998","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/S0034-4877(99)80003-2","article-title":"Morphisms, tensor products and \u03c3-effect algebras","volume":"42","author":"Gudder","year":"1998","journal-title":"Reports on Mathematical Physics"},{"issue":"12","key":"gudder1999convex","doi-asserted-by":"publisher","first-page":"3179","DOI":"10.1023\/A:1026678114856","article-title":"Convex structures and effect algebras","volume":"38","author":"Gudder","year":"1999","journal-title":"International Journal of Theoretical Physics"},{"issue":"4","key":"gudder1998representation","first-page":"645","article-title":"Representation theorem for convex effect algebras","volume":"39","author":"Gudder","year":"1998","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"issue":"10","key":"harding2004remarks","doi-asserted-by":"publisher","first-page":"2149","DOI":"10.1023\/B:IJTP.0000049016.83846.72","article-title":"Remarks on concrete orthomodular lattices","volume":"43","author":"Harding","year":"2004","journal-title":"International Journal of Theoretical Physics"},{"issue":"28","key":"Jacobs2011","doi-asserted-by":"publisher","first-page":"3323","DOI":"10.1016\/j.tcs.2011.04.005","article-title":"Probabilities, distribution monads, and convex categories","volume":"412","author":"Jacobs","year":"2011","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"jacobs2015new","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(3:24)2015","article-title":"New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic","volume":"11","author":"Jacobs","year":"2015","journal-title":"Logical Methods in Computer Science"},{"issue":"7","key":"jacobs2012coreflections","doi-asserted-by":"publisher","first-page":"932","DOI":"10.1007\/s10701-012-9654-8","article-title":"Coreflections in algebraic quantum logic","volume":"42","author":"Jacobs","year":"2012","journal-title":"Foundations of physics"},{"key":"JacobsMF2016","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.ic.2016.02.009","article-title":"The expectation monad in quantum foundations","volume":"250","author":"Jacobs","year":"2016","journal-title":"Information and Computation"},{"issue":"3","key":"jenvca2015effect","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s11083-014-9344-6","article-title":"Effect algebras are the Eilenberg-Moore category for the Kalmbach monad","volume":"32","author":"Jen\u010da","year":"2015","journal-title":"Order"},{"issue":"1","key":"KochenS1967","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1512\/iumj.1968.17.17004","article-title":"The Problem of Hidden Variables in Quantum Mechanics","volume":"17","author":"Kochen","year":"1967","journal-title":"Journal of Mathematics and Mechanics"},{"key":"Ludwig1983","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86751-4","volume-title":"Foundations of Quantum Mechanics I","author":"Ludwig","year":"1983"},{"key":"Ludwig1985","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-70029-3","volume-title":"An Axiomatic Basis for Quantum Mechanics, Volume 1: Derivation of Hilbert Space Structure","author":"Ludwig","year":"1985"},{"key":"Mackey2004","volume-title":"Mathematical Foundations of Quantum Mechanics","author":"Mackey","year":"2004"},{"key":"ManesA1986","series-title":"Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4962-7","volume-title":"Algebraic Approaches to Program Semantics","author":"Manes","year":"1986"},{"key":"Pumpluen2002","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/BF03322777","article-title":"The Metric Completion of Convex Sets and Modules","volume":"41","author":"Pumpl\u00fcn","year":"2002","journal-title":"Results in Mathematics"},{"key":"tull2016","article-title":"Operational theories of physics as categories","author":"Tull","year":"2016","journal-title":"arXiv preprint arXiv:1602.06284"},{"key":"tull2019phdthesis","volume-title":"Categorical Operational Physics","author":"Tull","year":"2018"},{"key":"effectmonoids","series-title":"LICS 20","doi-asserted-by":"publisher","DOI":"10.1145\/3373718.3394742","article-title":"A Characterisation of Ordered Abstract Probabilities","volume-title":"Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science","author":"Westerbaan","year":"2020"},{"key":"basthesis","volume-title":"Dagger and dilations in the category of von Neumann algebras","author":"Westerbaan","year":"2018"},{"key":"basmaster","volume-title":"Sequential product on effect logics","author":"Westerbaan","year":"2013"},{"issue":"4","key":"Wright1972","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1112\/plms\/s3-25.4.675","article-title":"Measures with Values in a Partially Ordered Vector Space","volume":"s3-25","author":"Wright","year":"1972","journal-title":"Proceedings of the London Mathematical Society"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T03:10:18Z","timestamp":1631070618000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2003.10245v2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,6]]},"references-count":42,"URL":"https:\/\/doi.org\/10.4204\/eptcs.340.5","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,6]]}}}