{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T11:56:54Z","timestamp":1782993414727,"version":"3.54.5"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1007\/s11083-010-9145-5","type":"journal-article","created":{"date-parts":[[2010,2,16]],"date-time":"2010-02-16T06:38:08Z","timestamp":1266302288000},"page":"177-212","source":"Crossref","is-referenced-by-count":26,"title":["Quantum Logic in Dagger Kernel Categories"],"prefix":"10.1007","volume":"27","author":[{"given":"Chris","family":"Heunen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bart","family":"Jacobs","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,2,17]]},"reference":[{"key":"9145_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Logic in Computer Science, IEEE, pp. 415\u2013425 (2004)","DOI":"10.1109\/LICS.2004.1319636"},{"key":"9145_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001","volume-title":"Category Theory. Oxford Logic Guides","author":"S Awodey","year":"2006","unstructured":"Awodey, S.: Category Theory. Oxford Logic Guides, Oxford Univ. Press, Oxford (2006)"},{"key":"9145_CR3","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0022-4049(92)90169-G","volume":"82","author":"M Barr","year":"1992","unstructured":"Barr, M.: Algebraically compact functors. J. Pure Appl. Algebra 82, 211\u2013231 (1992)","journal-title":"J. Pure Appl. Algebra"},{"key":"9145_CR4","doi-asserted-by":"crossref","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin. Revised and corrected version available from URL: www.cwru.edu\/artsci\/math\/wells\/pub\/ttt.html (1985)","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"9145_CR5","volume-title":"Handbook of Categorical Algebra. Encyclopedia of Mathematics 50, 51 and 52","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Encyclopedia of Mathematics 50, 51 and 52. Cambridge Univ. Press, Cambridge (1994)"},{"key":"9145_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/b99455","volume-title":"The Theory of Symmetry Actions in Quantum Mechanics. Number 654 in Lecture Notes in Physics","author":"G Cassinelli","year":"2004","unstructured":"Cassinelli, G., De Vito, E.P., Lahti J., Levrero, A.: The Theory of Symmetry Actions in Quantum Mechanics. Number 654 in Lecture Notes in Physics. Springer, Berlin (2004)"},{"key":"9145_CR7","doi-asserted-by":"crossref","unstructured":"Coecke, B., Pavlovi\u0107, D.: Quantum measurements without sums. In: Chen, G., Kauffman, L., Lamonaco, S. (eds.) Mathematics of Quantum Computing and Technology. Taylor and Francis, Philadelphia. See also: arXiv:\/quant-ph\/0608035 (2006)","DOI":"10.1201\/9781584889007.ch16"},{"issue":"7\/8","key":"9145_CR8","doi-asserted-by":"crossref","first-page":"1705","DOI":"10.1023\/B:IJTP.0000048815.92983.6e","volume":"43","author":"B Coecke","year":"2004","unstructured":"Coecke, B., Smets, S.: The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes. Int. J. Theor. Phys. 43(7\/8), 1705\u20131736 (2004)","journal-title":"Int. J. Theor. Phys."},{"issue":"1\u20132","key":"9145_CR9","first-page":"11","volume":"15","author":"G Crown","year":"1975","unstructured":"Crown, G.: On some orthomodular posets of vector bundles. J. Nat. Sci. Math. 15(1\u20132), 11\u201325 (1975)","journal-title":"J. Nat. Sci. Math."},{"key":"9145_CR10","volume-title":"Introduction to Lattices and Order. Math. Textbooks","author":"B Davey","year":"1990","unstructured":"Davey, B., Priestley, H.: Introduction to Lattices and Order. Math. Textbooks. Cambridge Univ. Press, Cambridge (1990)"},{"key":"9145_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2422-7","volume-title":"New Trends in Quantum Structures","author":"A Dvure\u010denskij","year":"2000","unstructured":"Dvure\u010denskij, A., Pulmannov\u00e1, S.: New Trends in Quantum Structures. Kluwer Acad., Dordrecht (2000)"},{"key":"9145_CR12","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1017\/S0004972700041642","volume":"2","author":"PD Finch","year":"1970","unstructured":"Finch, P.D.: Quantum logic as an implication algebra. Bull. Am. Math. Soc. 2, 101\u2013106 (1970)","journal-title":"Bull. Am. Math. Soc."},{"issue":"11","key":"9145_CR13","doi-asserted-by":"crossref","first-page":"2119","DOI":"10.1007\/BF00675796","volume":"33","author":"DJ Foulis","year":"1994","unstructured":"Foulis, D.J., Greechie, R., Bennett, M.: Sums and products of interval algebras. Int. J. Theor. Phys. 33(11), 2119\u20132136 (1994)","journal-title":"Int. J. Theor. Phys."},{"key":"9145_CR14","unstructured":"Freyd, P.: Abelian Categories: An Introduction to the Theory of Functors. Harper and Row, New York. Available via www.tac.mta.ca\/tac\/reprints\/articles\/3\/tr3.pdf (1964)"},{"key":"9145_CR15","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1016\/j.tcs.2005.10.028","volume":"350","author":"E Haghverdi","year":"2006","unstructured":"Haghverdi, E., Scott, P.: A categorical model for the geometry of interaction. Theor. Comp. Sci. 350, 252\u2013274 (2006)","journal-title":"Theor. Comp. Sci."},{"issue":"6","key":"9145_CR16","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1007\/s10773-006-9109-0","volume":"45","author":"J Harding","year":"2006","unstructured":"Harding, J.: Orthomodularity of decompositions in a categorical setting. Int. J. Theor. Phys. 45(6), 1117\u20131128 (2006)","journal-title":"Int. J. Theor. Phys."},{"key":"9145_CR17","author":"C Heunen","year":"2008","unstructured":"Heunen, C.: Compactly accessible categories and quantum key distribution. Logical Methods Comp. Sci. 4(4) (2008). doi: 10.2168\/LMCS-4(4:9)2008","journal-title":"Logical Methods Comp. Sci."},{"key":"9145_CR18","unstructured":"Heunen, C.: Quantifiers for quantum logic. arXiv:0811.1457 (2008)"},{"key":"9145_CR19","first-page":"321","volume":"22","author":"C Heunen","year":"2009","unstructured":"Heunen, C.: An embedding theorem for Hilbert categories. Theory Appl. Categ. 22, 321\u2013344 (2009)","journal-title":"Theory Appl. Categ."},{"key":"9145_CR20","volume-title":"Categorical quantum models and logics. Ph.D. thesis","author":"C Heunen","year":"2010","unstructured":"Heunen, C.: Categorical quantum models and logics. Ph.D. thesis, Radboud Univ. Nijmegen (2010)"},{"key":"9145_CR21","volume-title":"Categorical Logic and Type Theory","author":"B Jacobs","year":"1999","unstructured":"Jacobs, B.: Categorical Logic and Type Theory. North Holland, Amsterdam (1999)"},{"key":"9145_CR22","unstructured":"Jacobs, B.: Orthomodular lattices, Foulis semigroups and dagger kernel categories. Logical Methods Comp. Sci. (2009). Available from http:\/\/arxiv.org\/abs\/0905.4090"},{"key":"9145_CR23","doi-asserted-by":"crossref","first-page":"1241","DOI":"10.2140\/pjm.1963.13.1241","volume":"13","author":"MF Janowitz","year":"1963","unstructured":"Janowitz, M.F.: Quantifiers and orthomodular lattices. Pac. J. Math. 13, 1241\u20131249 (1963)","journal-title":"Pac. J. Math."},{"key":"9145_CR24","volume-title":"Stone Spaces. Number\u00a03 in Cambridge Studies in Advanced Mathematics.","author":"P Johnstone","year":"1982","unstructured":"Johnstone, P.: Stone Spaces. Number\u00a03 in Cambridge Studies in Advanced Mathematics. Cambridge Univ. Press, Cambridge (1982)"},{"key":"9145_CR25","volume-title":"Sketches of an Elephant: A Topos Theory Compendium.","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium. Oxford University Press, Oxford (2002)"},{"key":"9145_CR26","volume-title":"Orthomodular Lattices","author":"G Kalmbach","year":"1983","unstructured":"Kalmbach, G.: Orthomodular Lattices. Academic, London (1983)"},{"key":"9145_CR27","doi-asserted-by":"crossref","DOI":"10.1142\/0206","volume-title":"Measures and Hilbert Lattices","author":"G Kalmbach","year":"1986","unstructured":"Kalmbach, G.: Measures and Hilbert Lattices. World Scientific, Singapore (1986)"},{"key":"9145_CR28","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/S0049-237X(08)71104-2","volume-title":"Handbook of Mathematical Logic","author":"A Kock","year":"1977","unstructured":"Kock, A., Reyes, G.: Doctrines in categorical logic. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp.\u00a0283\u2013313. North-Holland, Amsterdam (1977)"},{"key":"9145_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"SM Lane","year":"1971","unstructured":"Lane, S.M.: Categories for the Working Mathematician. Springer, Berlin (1971)"},{"issue":"1","key":"9145_CR30","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1093\/logcom\/exm054","volume":"18","author":"D Lehmann","year":"2008","unstructured":"Lehmann, D.: A presentation of quantum logic based on an and then connective. J. Log. Comput. 18(1), 59\u201376 (2008)","journal-title":"J. Log. Comput."},{"key":"9145_CR31","doi-asserted-by":"crossref","first-page":"1043","DOI":"10.1073\/pnas.47.7.1043","volume":"47","author":"S Mac Lane","year":"1961","unstructured":"Mac Lane, S.: An algebra of additive relations. Proc. Natl. Acad. sci. 47, 1043\u20131051 (1961)","journal-title":"Proc. Natl. Acad. sci."},{"key":"9145_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0066201","volume-title":"First Order Categorical Logic. Number 611 in Lect. Notes Math.","author":"M Makkai","year":"1977","unstructured":"Makkai, M., Reyes, G.: First Order Categorical Logic. Number 611 in Lect. Notes Math., Springer, Berlin (1977)"},{"key":"9145_CR33","doi-asserted-by":"crossref","unstructured":"Manes, E.: Monads, matrices and generalized dynamic algebra. In: Ehrig, H., Herrlich, H., Kreowski, H.-J., Preu\u00df, G. (eds.) Categorical Methods in Computer Science With Aspects from Topology, number 393 in Lect. Notes Comp. Sci, pp. 66\u201381 (1989)","DOI":"10.1007\/3-540-51722-7_5"},{"key":"9145_CR34","volume-title":"Foundations of Quantum Physics. Number\u00a019 in Mathematical Physics Monographs","author":"C Piron","year":"1976","unstructured":"Piron, C.: Foundations of Quantum Physics. Number\u00a019 in Mathematical Physics Monographs. Benjamin, New York (1976)"},{"key":"9145_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01438388","volume":"148","author":"D Puppe","year":"1962","unstructured":"Puppe, D.: Korrespondenzen in abelschen Kategorien. Math. Ann. 148, 1\u201330 (1962)","journal-title":"Math. Ann."},{"key":"9145_CR36","first-page":"206","volume":"16","author":"L Rom\u00e1n","year":"2006","unstructured":"Rom\u00e1n, L.: A characterization of quantic quantifiers in orthomodular lattices. Theory Appl. Categ. 16, 206\u2013217 (2006)","journal-title":"Theory Appl. Categ."},{"key":"9145_CR37","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0022-4049(91)90109-F","volume":"73","author":"L Rom\u00e1n","year":"1991","unstructured":"Rom\u00e1n, L., Rumbos, B.: A characterization of nuclei in orthomodular and quantic lattices. J. Pure Appl. Algebra 73, 155\u2013163 (1991)","journal-title":"J. Pure Appl. Algebra"},{"issue":"6","key":"9145_CR38","first-page":"62","volume":"2","author":"L Rom\u00e1n","year":"1996","unstructured":"Rom\u00e1n, L., Zuazua, R.: On quantic conuclei in orthomodular lattices. Theory Appl. Categ. 2(6), 62\u201368 (1996)","journal-title":"Theory Appl. Categ."},{"key":"9145_CR39","unstructured":"Rosenthal, K.: Quantales and Their Applications. Number 234 in Pitman Research Notes in Math. Longman Scientific & Technical, Harlow (1990)"},{"key":"9145_CR40","doi-asserted-by":"crossref","unstructured":"Selinger, P.: Dagger compact closed categories and completely positive maps (extended abstract). In: Selinger, P. (ed.) Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), number 170 in Elect. Notes in Theor. Comp. Sci., pp. 139\u2013163. http:\/\/dx.doi.org\/10.1016\/j.entcs.2006.12.018 (2007)","DOI":"10.1016\/j.entcs.2006.12.018"},{"key":"9145_CR41","volume-title":"Practical Foundations of Mathematics. Number\u00a059 in Cambridge Studies in Advanced Mathematics","author":"P Taylor","year":"1999","unstructured":"Taylor, P.: Practical Foundations of Mathematics. Number\u00a059 in Cambridge Studies in Advanced Mathematics. Cambridge Univ. Press, Cambridge (1999)"}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s11083-010-9145-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T00:13:16Z","timestamp":1558829596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-010-9145-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,17]]},"references-count":41,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["9145"],"URL":"https:\/\/doi.org\/10.1007\/s11083-010-9145-5","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,17]]}}}