{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T11:18:07Z","timestamp":1721128687391},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,4,16]],"date-time":"2013-04-16T00:00:00Z","timestamp":1366070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10992-013-9280-8","type":"journal-article","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T07:07:51Z","timestamp":1366009671000},"page":"501-523","source":"Crossref","is-referenced-by-count":14,"title":["Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models"],"prefix":"10.1007","volume":"42","author":[{"given":"Howard","family":"Barnum","sequence":"first","affiliation":[]},{"given":"Ross","family":"Duncan","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Wilce","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,16]]},"reference":[{"key":"9280_CR1","unstructured":"Abramsky, S., & Coecke, B. (2004). A categorical semantics of quantum protocols. In Proceedings of the 19th annual IEEE symposium on logic in computer science: LICS 2004 (pp. 415\u2013425). IEEE Computer Science Press. Also arXiv: 0402130v5 [quant-ph\/]."},{"key":"9280_CR2","volume-title":"Handbook of quantum logic and quantum structures II","author":"S Abramsky","year":"2008","unstructured":"Abramsky, S., & Coecke, B. (2008). Categorical quantum mechanics. In K. Engesser, D. Gabbay, D. Lehman (Eds.), Handbook of quantum logic and quantum structures II. Amsterdam: Elsevier."},{"key":"9280_CR3","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1017\/S0960129506005275","volume":"16","author":"S Abramsky","year":"2006","unstructured":"Abramsky, S., & Duncan, R. (2006). A categorical quantum logic. Mathematical Structures in Computer Science, 16, 486\u2013489.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9280_CR4","doi-asserted-by":"crossref","unstructured":"Alfsen, E.M. (1971). Compact convex sets and boundary integrals. Springer.","DOI":"10.1007\/978-3-642-65009-3"},{"key":"9280_CR5","volume-title":"State spaces of operator algebras: basic theory, orientations, and C*-products","author":"EM Alfsen","year":"2002","unstructured":"Alfsen, E.M., & Shultz, F.W. (2002). State spaces of operator algebras: basic theory, orientations, and C*-products. Boston: Birkhauser."},{"issue":"1980","key":"9280_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01962588","volume":"75","author":"H Araki","year":"1980","unstructured":"Araki, H. (1980). On a characterization of the state space of quantum mechanics. Communications in Mathematical Physics, 75(1980), 1\u201324.","journal-title":"Communications in Mathematical Physics"},{"key":"9280_CR7","unstructured":"Baez, J. (2004). Quantum quandaries: a category-theoretic perspective. quant-ph\/0404040 ."},{"key":"9280_CR8","doi-asserted-by":"crossref","first-page":"24051","DOI":"10.1103\/PhysRevLett.99.240501","volume":"99","author":"H Barnum","year":"2007","unstructured":"Barnum, H., Barrett, J., Leifer, M., Wilce, A. (2007). Generalized no-broadcasting theorem. Physical Review Letters, 99, 24051.","journal-title":"Physical Review Letters"},{"key":"9280_CR9","unstructured":"Barnum, H., Barrett, J., Leifer, M., Wilce, A. (2008). Teleportation in general probabilistic theories. In S. Abramsky & M. Mislove (Eds.), Mathematical foundations of information flow. American Mathematical Society. 2012 also arXiv: 0805.3553 ."},{"key":"9280_CR10","unstructured":"Barnum, H., Dahlsten, O., Leifer, M., Toner, B. (2008). Nonclassicality without entanglement enables bit commitment. In Proc. IEEE information theory workshop, Porto, May 2008 (pp. 386\u2013390). Also arXiv: 0803.1264 ."},{"key":"9280_CR11","unstructured":"Barnum, H., Fuchs, C., Renes, J., Wilce, A. (2005). Influence-free states on compound quantum systems. quant-ph\/0507108 ."},{"key":"9280_CR12","unstructured":"Barnum, H., Gaebler, P., Wilce, A. (2009). Ensemble steering, weak self-duality and the structure of probabilistic theories. arXiv: 0912.5532 ."},{"key":"9280_CR13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2011.01.002","volume":"270","author":"H Barnum","year":"2011","unstructured":"Barnum, H., & Wilce, A. (2011). Information processing in convex operational theories. Electronic Notes in Theoretical Computer Science, 270, 3\u201315. Also arXiv: 0908.2352 .","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9280_CR14","unstructured":"Barnum, H., & Wilce, A. (2009). Ordered linear spaces and categories as frameworks for information-processing characterizations of quantum and classical theory. arXiv: 0908.2354 ."},{"key":"9280_CR15","doi-asserted-by":"crossref","first-page":"032304","DOI":"10.1103\/PhysRevA.75.032304","volume":"75","author":"J Barrett","year":"2007","unstructured":"Barrett, J. (2007). Information processing in general probabilistic theories. Physical Reviews A, 75, 032304. Also arXiv: 0.508211 [quant-ph\/].","journal-title":"Physical Reviews A"},{"key":"9280_CR16","unstructured":"Beltrametti, E., & Cassinelli, G. (1980). The logic of quantum mechanics. Academic Press."},{"key":"9280_CR17","doi-asserted-by":"crossref","unstructured":"Coecke, B., Paquette, E.O., Pavlovic, D. (2009). Classical and quantum structuralism. In I. Mackie & S. Gay (Eds.), Semantic techniques for quantum computation (pp. 29\u201369). Cambridge University Press.","DOI":"10.1017\/CBO9781139193313.003"},{"key":"9280_CR18","unstructured":"d\u2019Ariano, G.M. (2006). How to derive the Hilbert-space formulation of quantum mechanics from purely operational axioms. arXiv.org: 0603011 [quant-ph\/]."},{"key":"9280_CR19","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF01647093","volume":"17","author":"EB Davies","year":"1970","unstructured":"Davies, E.B., & Lewis, J.T. (1970). An operational approach to quantum probability. Communications in Mathematical Physics, 17, 239\u2013260.","journal-title":"Communications in Mathematical Physics"},{"key":"9280_CR20","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF01646788","volume":"16","author":"CM Edwards","year":"1970","unstructured":"Edwards, C.M. (1970). The operational approach to algebraic quantum theory I. Communications in Mathematical Physics, 16, 207\u2013230.","journal-title":"Communications in Mathematical Physics"},{"key":"9280_CR21","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198534778.001.0001","volume-title":"Analysis on symmetric cones","author":"J Faraut","year":"1994","unstructured":"Faraut, J., & Kor\u00e1nyi, A. (1994). Analysis on symmetric cones. Oxford: Oxford University Pres"},{"key":"9280_CR22","doi-asserted-by":"crossref","first-page":"080402","DOI":"10.1103\/PhysRevLett.104.080402","volume":"104","author":"D Gross","year":"2010","unstructured":"Gross, D., M\u00fcller, M., Colbeck, R., Dahlsten, O.C.O. (2010). All reversible dynamics in maximally nonlocal theories are trivial. Physical Reviews and Letters, 104, 080402.","journal-title":"Physical Reviews and Letters"},{"key":"9280_CR23","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.4153\/CJM-1983-059-8","volume":"35","author":"H Hanche-Olsen","year":"1983","unstructured":"Hanche-Olsen, H. (1983). On the structure and tensor products of JC algebras. Canadian Journal of Mathematics, 35, 1059\u20131074.","journal-title":"Canadian Journal of Mathematics"},{"key":"9280_CR24","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BFb0074886","volume":"1132","author":"H Hanche-Olsen","year":"1985","unstructured":"Hanche-Olsen, H. (1985). JB-algebras with tensor products are C\u2217\u2013algebras. Lecture Notes in Mathematics (Springer), 1132, 223\u2013229.","journal-title":"Lecture Notes in Mathematics (Springer)"},{"key":"9280_CR25","doi-asserted-by":"crossref","unstructured":"Heunen, C. (2009). Categorical quantum models and logics. Doctoral thesis, Radboud University, Nijmegen. Amsterdam: Pallas Publications.","DOI":"10.5117\/9789085550242"},{"key":"9280_CR26","doi-asserted-by":"crossref","first-page":"29","DOI":"10.2307\/1968117","volume":"35","author":"P Jordan","year":"1934","unstructured":"Jordan, P., von Neumann, J., Wigner, E.P. (1934). On an algebraic generalization of the quantum-mechanical formalism. Annals of Mathematics, 35, 29\u201364.","journal-title":"Annals of Mathematics"},{"key":"9280_CR27","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BF00690066","volume":"1","author":"M Kl\u00e4y","year":"1988","unstructured":"Kl\u00e4y, M. (1988). Einstein-Podolsky-Rosen experiments: the structure of the sample space. Foundations of Physics Letters, 1, 205\u2013244.","journal-title":"Foundations of Physics Letters"},{"key":"9280_CR28","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BF01351796","volume":"135","author":"M Koecher","year":"1958","unstructured":"Koecher, M. (1958). Die geod\u00e4tischen von Positivit\u00e4tsbereichen. Mathematische Annalen, 135, 192\u2013202.","journal-title":"Mathematische Annalen"},{"key":"9280_CR29","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1090\/S0002-9904-1962-10814-3","volume":"68","author":"M Koecher","year":"1962","unstructured":"Koecher, M. (1962). On real Jordan algebras. Bulletin of the American Mathematical Society, 68, 374\u2013377.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"9280_CR30","doi-asserted-by":"crossref","unstructured":"Koecher, M. (1999). The minnesota notes on Jordan algebras and their applications. In A. Krieg & S. Walcher (Eds.), Physical Review Letters (Vol. 1710). Springer Verlag.","DOI":"10.1007\/BFb0096285"},{"key":"9280_CR31","unstructured":"Keyl, M., & Werner, R. (2007). Channels and maps. In D. Bruss & G. Leuchs (Eds.), Lectures on quantum information (pp. 73\u201386). Wiley."},{"key":"9280_CR32","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"GM Kelly","year":"1980","unstructured":"Kelly, G.M., & Laplaza, M.L. (1980). Coherence for compact closed categories. Journal of Pure and Applied Algebra, 19, 193\u2013213.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"9280_CR33","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/BF00668911","volume":"26","author":"M Klay","year":"1987","unstructured":"Klay, M., Randall, C.H., Foulis, D.J. (1987). Tensor products and probability weights. International Journal of Theoretical Physics, 26, 199\u2013219.","journal-title":"International Journal of Theoretical Physics"},{"key":"9280_CR34","doi-asserted-by":"crossref","unstructured":"Ludwig, G. (1983). Foundations of quantum mechanics I. Springer.","DOI":"10.1007\/978-3-642-86751-4"},{"key":"9280_CR35","unstructured":"Mackey, G. (1963). Mathematical foundations of quantum mechanics. Addison-Wesley."},{"key":"9280_CR36","unstructured":"MacLane, S. (1997). Categories for the working mathematician, 2nd ed. Springer."},{"key":"9280_CR37","doi-asserted-by":"crossref","first-page":"130401","DOI":"10.1103\/PhysRevLett.108.130401","volume":"108","author":"M Mueller","year":"2012","unstructured":"Mueller, M., & Ududec, C. (2012). Physical Reviews and Letters, 108, 130401. Also arXiv: 1110.3516 .","journal-title":"Physical Reviews and Letters"},{"key":"9280_CR38","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.entcs.2006.12.018","volume":"170","author":"P Selinger","year":"2007","unstructured":"Selinger, P. (2007). Dagger compact closed categories and completely positive maps (extended abstract). Electronic Notes in Theoretical Computer Science, 170, 139\u2013163.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9280_CR39","unstructured":"Selinger, P. (2004). Towards a semantics for higher-order quantum computation. In Proceedings of the 2nd international workshop on quantum programming languages, Turku, Finland (pp. 127\u2013143). TUCS General Publication No. 33."},{"key":"9280_CR40","unstructured":"Selinger, P. (2010). Autonomous categories in which ${A} \\cong A^*$ . In Proceedings of the 7th international workshop on quantum physics and logic (QPL 2010) (pp. 151\u2013160). Oxford. Available electronically at www.cs.ox.ac.uk\/people\/bob.coecke\/QPLproceedings.html"},{"key":"9280_CR41","unstructured":"Short, A.J., & Barrett, J. (2601). Strong non-locality: a tradeoff between states and measurements. arXiv: 0909.2601 ."},{"key":"9280_CR42","first-page":"1416","volume":"2","author":"EB Vinberg","year":"1961","unstructured":"Vinberg, E.B. (1960). Homogeneous cones. Doklady Akademii Nauk SSSR, 141, 270\u2013273. English translation: Soviet Mathematics Doklady, 2, 1416\u20131619 (1961).","journal-title":"Soviet Mathematics Doklady"},{"key":"9280_CR43","volume-title":"Mathematical foundations of quantum mechanics","author":"J Neumann von","year":"1955","unstructured":"von Neumann, J. (1932). Mathematische Grundlagen der Quantenmechanik. Berlin: Springer. English translation: Mathematical foundations of quantum mechanics. Princeton: Princeton University Press (1955)."},{"key":"9280_CR44","doi-asserted-by":"crossref","first-page":"1915","DOI":"10.1007\/BF00671964","volume":"31","author":"A Wilce","year":"1992","unstructured":"Wilce, A. (1992). Tensor products in generalized measure theory. International Journal of Theoretical Physics, 31, 1915.","journal-title":"International Journal of Theoretical Physics"},{"key":"9280_CR45","unstructured":"Wilce, A. (2012). Four and a half axioms for finite dimensional quantum mechanics. In Y. Ben-Menachem & M. Hemmo (Eds.), Probability in physics. Springer."},{"key":"9280_CR46","unstructured":"Wilce, A. (2012). Conjugates, correlation and quantum mechanics. arXiv: 1206.2897 ."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9280-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-013-9280-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9280-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T22:31:43Z","timestamp":1715207503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-013-9280-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,16]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["9280"],"URL":"https:\/\/doi.org\/10.1007\/s10992-013-9280-8","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,16]]}}}