{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:00Z","timestamp":1760202660623},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642381638"},{"type":"electronic","value":"9783642381645"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38164-5_3","type":"book-chapter","created":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T13:59:00Z","timestamp":1367330340000},"page":"21-36","source":"Crossref","is-referenced-by-count":5,"title":["Compositional Quantum Logic"],"prefix":"10.1007","author":[{"given":"Bob","family":"Coecke","sequence":"first","affiliation":[]},{"given":"Chris","family":"Heunen","sequence":"additional","affiliation":[]},{"given":"Aleks","family":"Kissinger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 415\u2013425. IEEE Computer Society (2004), Extended version: arXiv:quant-ph\/0402130","key":"3_CR1","DOI":"10.1109\/LICS.2004.1319636"},{"doi-asserted-by":"crossref","unstructured":"Abramsky, S., Heunen, C.: H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics. In: Abramsky, S., Mislove, M. (eds.) Clifford Lectures. Proceedings of Symposia in Applied Mathematics, vol.\u00a071, pp. 1\u201324. American Mathematical Society (2012)","key":"3_CR2","DOI":"10.1090\/psapm\/071\/599"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Annals of Mathematics\u00a037, 823\u2013843 (1936)","journal-title":"Annals of Mathematics"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"120402","DOI":"10.1103\/PhysRevLett.108.120402","volume":"108","author":"S. Boixo","year":"2012","unstructured":"Boixo, S., Heunen, C.: Entangled and sequential quantum protocols with dephasing. Physical Review Letters\u00a0108, 120402 (2012)","journal-title":"Physical Review Letters"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A. Carboni","year":"1987","unstructured":"Carboni, A., Walters, R.F.C.: Cartesian bicategories I. Journal of Pure and Applied Algebra\u00a049, 11\u201332 (1987)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"12311","DOI":"10.1103\/PhysRevA.84.012311","volume":"84","author":"G. Chiribella","year":"2011","unstructured":"Chiribella, G., D\u2019Ariano, G.M., Perinotti, P.: Informational derivation of quantum theory. Physical Review A\u00a084(1), 012311 (2011)","journal-title":"Physical Review A"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2008.04.014","volume":"210","author":"B. Coecke","year":"2008","unstructured":"Coecke, B.: Axiomatic description of mixed states from Selinger\u2019s CPM-construction. Electronic Notes in Theoretical Computer Science\u00a0210, 3\u201313 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"unstructured":"Coecke, B.: The logic of quantum mechanics \u2013 take II (2012), arXiv:1204.3458","key":"3_CR8"},{"issue":"2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.entcs.2011.01.021","volume":"270","author":"B. Coecke","year":"2011","unstructured":"Coecke, B., Edwards, B., Spekkens, R.W.: Phase groups and the origin of non-locality for qubits. Electronic Notes in Theoretical Computer Science\u00a0270(2), 15\u201336 (2011), arXiv:1003.5005","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.4204\/EPTCS.95.4","volume":"95","author":"B. Coecke","year":"2011","unstructured":"Coecke, B., Heunen, C.: Pictures of complete positivity in arbitrary dimension. Quantum Phsyics and Logic, Electronic Proceedings in Theoretical Computer Science\u00a095, 27\u201335 (2011)","journal-title":"Quantum Phsyics and Logic, Electronic Proceedings in Theoretical Computer Science"},{"unstructured":"Coecke, B., Heunen, C., Kissinger, A.: A category of classical and quantum channels. In: QPL 2012 (2012)","key":"3_CR11"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-14162-1_25","volume-title":"Automata, Languages and Programming","author":"B. Coecke","year":"2010","unstructured":"Coecke, B., Kissinger, A.: The compositional structure of multipartite quantum entanglement. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol.\u00a06199, pp. 297\u2013308. Springer, Heidelberg (2010), Extended version: arXiv:1002.2540"},{"unstructured":"Coecke, B., Paquette, \u00c9.O.: Categories for the practicing physicist. In: Coecke, B. (ed.) New Structures for Physics. Lecture Notes in Physics, pp. 167\u2013271. Springer (2011), arXiv:0905.3010","key":"3_CR13"},{"unstructured":"Coecke, B., Paquette, \u00c9.O., Pavlovi\u0107, D.: Classical and quantum structuralism. In: Gay, S., Mackie, I. (eds.) Semantic Techniques in Quantum Computation, pp. 29\u201369. Cambridge University Press (2010), arXiv:0904.1997","key":"3_CR14"},{"unstructured":"Coecke, B., Pavlovi\u0107, D., Vicary, J.: A new description of orthogonal bases. Mathematical Structures in Computer Science (2011) (to appear), arXiv:quant-ph\/0810.1037","key":"3_CR15"},{"unstructured":"Coecke, B., Sadrzadeh, M., Clark, S.: Mathematical foundations for a compositional distributional model of meaning. Linguistic Analysis (2010)","key":"3_CR16"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/s11229-011-9917-5","volume":"186","author":"B. Coecke","year":"2012","unstructured":"Coecke, B., Spekkens, R.W.: Picturing classical and quantum Bayesian inference. Synthese\u00a0186, 651\u2013696 (2012), arXiv:1102.2368.","journal-title":"Synthese"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-14162-1_24","volume-title":"Automata, Languages and Programming","author":"R. Duncan","year":"2010","unstructured":"Duncan, R., Perdrix, S.: Rewriting measurement-based quantum computations with generalised flow. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol.\u00a06199, pp. 285\u2013296. Springer, Heidelberg (2010)"},{"issue":"2","key":"3_CR19","first-page":"150","volume":"68","author":"C.-A. Faure","year":"1995","unstructured":"Faure, C.-A., Moore, D.J., Piron, C.: Deterministic evolutions and Schr\u00f6dinger flows. Helvetica Physica Acta\u00a068(2), 150\u2013157 (1995)","journal-title":"Helvetica Physica Acta"},{"issue":"11","key":"3_CR20","doi-asserted-by":"publisher","first-page":"1667","DOI":"10.1063\/1.1665890","volume":"13","author":"D.J. Foulis","year":"1972","unstructured":"Foulis, D.J., Randall, C.H.: Operational statistics. I. Basic concepts. Journal of Mathematical Physics\u00a013(11), 1667\u20131675 (1972)","journal-title":"Journal of Mathematical Physics"},{"key":"3_CR21","first-page":"885","volume":"6","author":"A.M. Gleason","year":"1957","unstructured":"Gleason, A.M.: Measures on the closed subspaces of a Hilbert space. Journal of Mathematics and Mechanics\u00a06, 885\u2013893 (1957)","journal-title":"Journal of Mathematics and Mechanics"},{"issue":"3","key":"3_CR22","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1007\/s10773-008-9853-4","volume":"48","author":"J. Harding","year":"2009","unstructured":"Harding, J.: A link between quantum logic and categorical quantum mechanics. International Journal of Theoretical Physics\u00a048(3), 769\u2013802 (2009)","journal-title":"International Journal of Theoretical Physics"},{"unstructured":"Harding, J.: Daggers, kernels, Baer *-semigroups, and orthomodularity. To appear in Journal of Philosophical Logic (2010)","key":"3_CR23"},{"unstructured":"Hardy, L.: Quantum theory from five reasonable axioms. arXiv:quant-ph\/0101012 (2001)","key":"3_CR24"},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.jpaa.2012.04.002","volume":"217","author":"C. Heunen","year":"2012","unstructured":"Heunen, C., Contreras, I., Cattaneo, A.S.: Relative frobenius algebras are groupoids. Journal of Pure and Applied Algebra\u00a0217, 114\u2013124 (2012)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"2","key":"3_CR26","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s11083-010-9145-5","volume":"27","author":"C. Heunen","year":"2010","unstructured":"Heunen, C., Jacobs, B.: Quantum logic in dagger kernel categories. Order\u00a027(2), 177\u2013212 (2010)","journal-title":"Order"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"95011","DOI":"10.1088\/1367-2630\/13\/9\/095011","volume":"13","author":"C. Horsman","year":"2011","unstructured":"Horsman, C.: Quantum picturalism for topological cluster-state computing. New Journal of Physics\u00a013, 095011 (2011), arXiv:1101.4722","journal-title":"New Journal of Physics"},{"issue":"2","key":"3_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-6(2:1)2010","volume":"6","author":"B. Jacobs","year":"2010","unstructured":"Jacobs, B.: Orthomodular lattices, foulis semigroups and dagger kernel categories. Logical Methods in Computer Science\u00a06(2), 1 (2010)","journal-title":"Logical Methods in Computer Science"},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"G.M. Kelly","year":"1980","unstructured":"Kelly, G.M., Laplaza, M.L.: Coherence for compact closed categories. Journal of Pure and Applied Algebra\u00a019, 193\u2013213 (1980)","journal-title":"Journal of Pure and Applied Algebra"},{"doi-asserted-by":"crossref","unstructured":"Ludwig, G.: An Axiomatic Basis of Quantum Mechanics. 1. Derivation of Hilbert Space. Springer (1985)","key":"3_CR30","DOI":"10.1007\/978-3-642-70029-3_1"},{"key":"3_CR31","volume-title":"The mathematical foundations of quantum mechanics","author":"G.W. Mackey","year":"1963","unstructured":"Mackey, G.W.: The mathematical foundations of quantum mechanics. W. A. Benjamin, New York (1963)"},{"issue":"2","key":"3_CR32","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1215\/S0012-7094-38-00419-3","volume":"4","author":"O. Ore","year":"1938","unstructured":"Ore, O.: Structures and group theory II. Duke Mathematical Journal\u00a04(2), 247\u2013269 (1938)","journal-title":"Duke Mathematical Journal"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-00834-4_13","volume-title":"Quantum Interaction","author":"D. Pavlovic","year":"2009","unstructured":"Pavlovic, D.: Quantum and classical structures in nondeterminstic computation. In: Bruza, P., Sofge, D., Lawless, W., van Rijsbergen, K., Klusch, M. (eds.) QI 2009. LNCS, vol.\u00a05494, pp. 143\u2013157. Springer, Heidelberg (2009)"},{"key":"3_CR34","first-page":"439","volume":"37","author":"C. Piron","year":"1964","unstructured":"Piron, C.: Axiomatique quantique. Helvetia Physica Acta\u00a037, 439\u2013468 (1964)","journal-title":"Helvetia Physica Acta"},{"doi-asserted-by":"crossref","unstructured":"Piron, C.: Foundations of quantum physics. W. A. Benjamin (1976)","key":"3_CR35","DOI":"10.1007\/978-94-010-1440-3_7"},{"doi-asserted-by":"crossref","unstructured":"R\u00e9dei, M.: Quantum Logic in Algebraic Approach. Kluwer (1998)","key":"3_CR36","DOI":"10.1007\/978-94-015-9026-6"},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.entcs.2006.12.018","volume":"170","author":"P. Selinger","year":"2007","unstructured":"Selinger, P.: Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical Computer Science\u00a0170, 139\u2013163 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"3_CR38","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.entcs.2008.04.021","volume":"210","author":"P. Selinger","year":"2008","unstructured":"Selinger, P.: Idempotents in dagger categories (extended abstract). Electronic Notes in Theoretical Computer Science\u00a0210, 107\u2013122 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics. Lecture Notes in Physics, pp. 275\u2013337. Springer (2011), arXiv:0908.3347","key":"3_CR39"},{"issue":"1","key":"3_CR40","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1080\/00927879508825218","volume":"23","author":"M.P. Sol\u00e8r","year":"1995","unstructured":"Sol\u00e8r, M.P.: Characterization of Hilbert spaces by orthomodular spaces. Communications in Algebra\u00a023(1), 219\u2013243 (1995)","journal-title":"Communications in Algebra"},{"doi-asserted-by":"crossref","unstructured":"Stubbe, I., van Steirteghem, B.: Propositional systems, Hilbert lattices and generalized Hilbert spaces. In: Lehmann, D., Gabbay, D., Engesser, K. (eds.) Handbook Quantum Logic, pp. 477\u2013524. Elsevier Publ. (2007), \n                  \n                    http:\/\/www.mat.uc.pt\/~isar\/PDF\/HilbertLatticesELSEVIER.pdf","key":"3_CR41","DOI":"10.1016\/B978-044452870-4\/50033-9"},{"issue":"3","key":"3_CR42","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1007\/s00220-010-1138-0","volume":"304","author":"J. Vicary","year":"2011","unstructured":"Vicary, J.: Categorical formulation of finite-dimensional quantum algebras. Communications in Mathematical Physics\u00a0304(3), 765\u2013796 (2011)","journal-title":"Communications in Mathematical Physics"},{"doi-asserted-by":"crossref","unstructured":"Wigner, E.P.: Gruppentheorie. Friedrich Vieweg und Sohn (1931)","key":"3_CR43","DOI":"10.1007\/978-3-663-02555-9_7"}],"container-title":["Lecture Notes in Computer Science","Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38164-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T12:41:05Z","timestamp":1557664865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38164-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642381638","9783642381645"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38164-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}