{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T11:50:15Z","timestamp":1769687415598,"version":"3.49.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,4,1]],"date-time":"2002-04-01T00:00:00Z","timestamp":1017619200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,4,1]],"date-time":"2002-04-01T00:00:00Z","timestamp":1017619200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2002,4]]},"DOI":"10.1023\/a:1015106515413","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T17:32:56Z","timestamp":1041096776000},"page":"411-440","source":"Crossref","is-referenced-by-count":17,"title":["Quantum Logic in Intuitionistic Perspective"],"prefix":"10.1007","volume":"70","author":[{"given":"Bob","family":"Coecke","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5086396_CR1","doi-asserted-by":"crossref","first-page":"1131","DOI":"10.1007\/BF00729621","volume":"12","author":"D. Aerts","year":"1982","unstructured":"Aerts, D.(1982) \u2018Description of many separated physical entities without the paradoxes encountered in quantum mechanics\u2019, Foundations of Physics12, 1131.","journal-title":"Foundations of Physics"},{"key":"5086396_CR2","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF01898828","volume":"18","author":"B. Banaschewski","year":"1967","unstructured":"Banaschewski, B., and G. Bruns(1967) \u2018Categorical characterization of MacNeille completion\u2019, Archiv der Mathematik18, 369.","journal-title":"Archiv der Mathematik"},{"key":"5086396_CR3","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff, G., and J. Von Neumann(1936) \u2018The Logic of quantum mechanics\u2019, Annals of Mathematics37, 823.","journal-title":"Annals of Mathematics"},{"key":"5086396_CR4","doi-asserted-by":"crossref","unstructured":"Bruns, G., and J. Harding(2000) \u2018Algebraic aspects of orthomodular lattices\u2019, in: B. Coecke, D. J. Moore and A. Wilce (eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, pp. 37-66, Kluwer Academic Publishers.","DOI":"10.1007\/978-94-017-1201-9_2"},{"key":"5086396_CR5","doi-asserted-by":"crossref","first-page":"115","DOI":"10.4153\/CMB-1970-023-6","volume":"13","author":"G. Bruns","year":"1970","unstructured":"Bruns, G., and H. Lakser(1970) \u2018Injective hulls of semilattices\u2019, Canadian Mathematical Bulletin13, 115.","journal-title":"Canadian Mathematical Bulletin"},{"key":"5086396_CR6","first-page":"581","volume":"39","author":"B. Coecke","year":"2000","unstructured":"Coecke, B.(2000) \u2018Structural characterization of compoundness\u2019, International Journal of Theoretical Physics39, 581; arXiv:quant-ph\/0008054.","journal-title":"International Journal of Theoretical Physics"},{"key":"5086396_CR7","unstructured":"Coecke, B.(2002) \u2018Disjunctive quantum logic in dynamic perspective\u2019, Studia Logica(submitted); arXiv: math.LO\/0011209."},{"key":"5086396_CR8","unstructured":"Coecke, B., D. J. Moore, and S. Smets(2001a) \u2018From operationality to logicallity I. Philosophical and formal preliminaries\u2019, submitted."},{"key":"5086396_CR9","unstructured":"Coecke, B., D. J. Moore, and S. Smets(2001b) \u2018From operationality to logicallity II. Syntax and semantics\u2019, submitted."},{"key":"5086396_CR10","unstructured":"Coecke, B., D. J. Moore, and S. Smets(2001c) \u2018Adjoint implications in lattice logics\u2019, preprint."},{"key":"5086396_CR11","doi-asserted-by":"crossref","first-page":"3269","DOI":"10.1023\/A:1026642501652","volume":"38","author":"B. Coecke","year":"1999","unstructured":"Coecke, B., and I. Stubbe(1999a) \u2018On a duality of quantales emerging from an operational resolution\u2019, International Journal of Theoretical Physics38, 3269.","journal-title":"International Journal of Theoretical Physics"},{"key":"5086396_CR12","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1023\/A:1021626704772","volume":"12","author":"B. Coecke","year":"1999","unstructured":"Coecke, B., and I. Stubbe(1999b) \u2018Operational resolutions and state transitions in a categorical setting\u2019, Foundations of Physics Letters12, 29; arXiv: quant-ph\/0008020.","journal-title":"Foundations of Physics Letters"},{"key":"5086396_CR13","first-page":"648","volume":"11","author":"D. J. Foulis","year":"1960","unstructured":"Foulis, D. J.(1960) \u2018Baer *-semigroups\u2019, Proceedings of the American Mathematical Society11, 648.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"5086396_CR14","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00741647","volume":"14","author":"D. J. Foulis","year":"1984","unstructured":"Foulis, D. J., and C. H. Randall(1984) \u2018A note on misunderstandings of Piron's axioms for quantum mechanics\u2019, Foundations of Physics14, 65.","journal-title":"Foundations of Physics"},{"key":"5086396_CR15","doi-asserted-by":"crossref","first-page":"401","DOI":"10.2307\/2274172","volume":"49","author":"R. Goldblatt","year":"1984","unstructured":"Goldblatt, R.(1984) \u2018Orthomodularity is not elementary\u2019, Journal of Symbolic Logic49, 401.","journal-title":"Journal of Symbolic Logic"},{"key":"5086396_CR16","doi-asserted-by":"crossref","unstructured":"Hardegree, G. M.(1979) \u2018The conditional in abstract and concrete quantum logic\u2019, in: C. Hooker (ed.), Logico-Algebraic Approach to Quantum Mechanics II, pp. 49-108, Reidel Publishing Company.","DOI":"10.1007\/978-94-009-9351-8_4"},{"key":"5086396_CR17","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/BF02944952","volume":"1","author":"A. Horn","year":"1971","unstructured":"Horn, A., and N. Kimura(1971) \u2018The category of semilattices\u2019, Algebra Universalis1, 26.","journal-title":"Algebra Universalis"},{"key":"5086396_CR18","first-page":"842","volume":"42","author":"J. M. Jauch","year":"1969","unstructured":"Jauch, J. M., and C. Piron(1969) \u2018On the structure of quantal proposition systems\u2019, Helvetica Physica Acta42, 842.","journal-title":"Helvetica Physica Acta"},{"key":"5086396_CR19","unstructured":"Johnstone, P. T.(1982) Stone Spaces, Cambridge University Press."},{"key":"5086396_CR20","unstructured":"Kalmbach, G.(1983) Orthomodular Lattices, Academic Press."},{"key":"5086396_CR21","doi-asserted-by":"crossref","first-page":"615","DOI":"10.2307\/2274651","volume":"55","author":"J. Malinowski","year":"1990","unstructured":"Malinowski, J.(1990) \u2018The deduction theorem for quantum logic. Some negative results\u2019, Journal of Symbolic Logic55, 615.","journal-title":"Journal of Symbolic Logic"},{"key":"5086396_CR22","first-page":"471","volume":"66","author":"D. J. Moore","year":"1993","unstructured":"Moore, D. J.(1993) \u2018Quantum logic requires weak modularity\u2019, Helvetica Physica Acta66, 471.","journal-title":"Helvetica Physica Acta"},{"key":"5086396_CR23","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S1355-2198(98)00033-1","volume":"30","author":"D. J. Moore","year":"1999","unstructured":"Moore, D. J.(1999) \u2018On state spaces and property lattices\u2019, Studies in History and Philosophy of Modern Physics30, 61.","journal-title":"Studies in History and Philosophy of Modern Physics"},{"key":"5086396_CR24","first-page":"84","volume-title":"Proceedings of the International Conference and Summer School on General Algebra and Ordered Sets 1994","author":"J. Paseka","year":"1994","unstructured":"Paseka, J.(1994) \u2018Covers in generalized frames\u2019, in: I. Chajda (ed.), Proceedings of the International Conference and Summer School on General Algebra and Ordered Sets 1994, pp. 84-99, Palack\u00fd University Publishing, Olomouc."},{"key":"5086396_CR25","doi-asserted-by":"crossref","unstructured":"Piron, C.(1976) Foundations of Quantum Physics, W. A. Benjamin, Inc.","DOI":"10.1007\/978-94-010-1440-3_7"},{"key":"5086396_CR26","unstructured":"Pt\u00c1k, P., and S. Pulmannov\u00c1(1991) Orthomodular Structures as Quantum Logics, Kluwer Academic Publishers."},{"key":"5086396_CR27","unstructured":"Stubbe, I.(2000) \u2018A categorical view on frame completions of meet-semilattices by means of distributive joins\u2019, privately communicated research notes."},{"key":"5086396_CR28","unstructured":"Vickers, S.(1989) Topology Via Logic, Cambridge University Press."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015106515413.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015106515413\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015106515413.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:23:19Z","timestamp":1754630599000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015106515413"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,4]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,4]]}},"alternative-id":["5086396"],"URL":"https:\/\/doi.org\/10.1023\/a:1015106515413","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,4]]}}}