{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:59Z","timestamp":1755220919318,"version":"3.43.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"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,6]]},"DOI":"10.1023\/a:1016335024252","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T22:29:52Z","timestamp":1041114592000},"page":"47-56","source":"Crossref","is-referenced-by-count":0,"title":["Disjunctive Quantum Logic in Dynamic Perspective"],"prefix":"10.1007","volume":"71","author":[{"given":"Bob","family":"Coecke","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5092943_CR1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S., and S. Vickers, (1993) \u2018Quantales, observational logic and process semantics\u2019, Mathematical Structures in Computer Science3, 161.","journal-title":"Mathematical Structures in Computer Science"},{"key":"5092943_CR2","first-page":"554","volume":"71","author":"H. Amira","year":"1998","unstructured":"Amira, H., B. Coecke, and I. Stubbe, (1998) \u2018How quantales emerge by introducing induction within the operational approach\u2019, Helvetica Physica Acta71, 554.","journal-title":"Helvetica Physica Acta"},{"key":"5092943_CR3","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":"5092943_CR4","doi-asserted-by":"crossref","unstructured":"Borceux, F., (1994) Handbook of Categorical Algebra I & II, Cambridge University Press.","DOI":"10.1017\/CBO9780511525858"},{"key":"5092943_CR5","doi-asserted-by":"crossref","unstructured":"Borceux, F., and I. Stubbe, (2000) \u2018Short introduction to enriched categories\u2019, in: B. Coecke, D. J. Moore and A. Wilce, (Eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, pp. 167-194, Kluwer Academic Publishers.","DOI":"10.1007\/978-94-017-1201-9_7"},{"key":"5092943_CR6","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, (1999) \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":"5092943_CR7","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":"5092943_CR8","doi-asserted-by":"crossref","unstructured":"Coecke, B., and D. J. Moore, (2000) \u2018Operational Galois adjunctions\u2019, in: B. Coecke, D. J. Moore and A. Wilce, (Eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, pp. 195-218, Kluwer Academic Publishers; arXiv: quant-ph\/0008021.","DOI":"10.1007\/978-94-017-1201-9_8"},{"key":"5092943_CR9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1023\/A:1012377520222","volume":"14","author":"B. Coecke","year":"2001","unstructured":"Coecke, B., D. J. Moore, I. and Stubbe, (2001) \u2018Quantaloids describing causation and propagation for physical properties\u2019, Foundations of Physics Letters14, 133; arXiv: quant-ph\/0009100.","journal-title":"Foundations of Physics Letters"},{"key":"5092943_CR10","first-page":"591","volume":"39","author":"B. Coecke","year":"2000","unstructured":"Coecke, B., and S. Smets, (2000) \u2018A logical description for perfect measurements\u2019, International Journal of Theoretical Physics39, 591; arXiv: quant-ph\/0008017.","journal-title":"International Journal of Theoretical Physics"},{"key":"5092943_CR11","unstructured":"Coecke, B., (2001a) \u2018Do we have to retain Cartesianity in topos-approaches to quantum theory, and, quantum gravity\u2019, preprint."},{"key":"5092943_CR12","unstructured":"Coecke, B., (2001b) \u2018The Sasaki-Hook is not a static implicative connective but induces a backward (in time) dynamic one that assigns causes of truth\/actuality\u2019, paper submitted to International Journal of Theoretical Physicsfor the proceedings of IQSA V, Cesena, Italy, April 2001."},{"key":"5092943_CR13","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1023\/A:1015106515413","volume":"70","author":"B. Coecke","year":"2002","unstructured":"Coecke, B., (2002) \u2018Quantum logic in intuitionistic perspective\u2019, Studia Logica70, 411-440; arXiv: math.LO\/0011208.","journal-title":"Studia Logica"},{"key":"5092943_CR14","first-page":"941","volume":"62","author":"W. Daniel","year":"1989","unstructured":"Daniel, W., (1989) \u2018Axiomatic descrition of irreversable and reversable evolution of a physical system\u2019, Helvetica Physica Acta62, 941.","journal-title":"Helvetica Physica Acta"},{"key":"5092943_CR15","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF01263491","volume":"47","author":"C. Faure","year":"1993","unstructured":"Faure, Cl.-A., and A. Fr\u00f6licher, (1993) \u2018Morphisms of projective geometries and of corresponding lattices\u2019, Geometri\u0153 Dedicata47, 25.","journal-title":"Geometri\u0153 Dedicata"},{"key":"5092943_CR16","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF01263998","volume":"53","author":"C. Faure","year":"1994","unstructured":"Faure, Cl.-A., and A. Fr\u00f6licher, (1994) \u2018Morphisms of projective geometries and semilinear maps\u2019, Geometri\u0153 Dedicata53, 237.","journal-title":"Geometri\u0153 Dedicata"},{"key":"5092943_CR17","first-page":"150","volume":"68","author":"C. Faure","year":"1995","unstructured":"Faure, Cl.-A., D.J. Moore, and C. Piron, (1995) \u2018Deterministic evolutions and Schr\u00f6dinger flows\u2019, Helvetica Physica Acta68, 150.","journal-title":"Helvetica Physica Acta"},{"key":"5092943_CR18","unstructured":"Harding, J., (1999) Private communication."},{"key":"5092943_CR19","unstructured":"Johnstone, P. T., (1982) Stone Spaces, Cambridge University Press."},{"key":"5092943_CR20","unstructured":"Kalmbach, G., (1983) Orthomodular Lattices, Academic Press."},{"key":"5092943_CR21","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":"5092943_CR22","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/BF01645838","volume":"9","author":"J. C. T. Pool","year":"1968","unstructured":"Pool, J. C. T., (1968) \u2018Baer *-semigroups and the logic of quantum mechanics\u2019, Communications in Mathematical Physics9, 118.","journal-title":"Communications in Mathematical Physics"},{"key":"5092943_CR23","doi-asserted-by":"crossref","unstructured":"Resende, P., (2000) \u2018Quantales and observational semantics\u2019, in: B. Coecke, D. J. Moore and A. Wilce, (Eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, pp. 263-288, Kluwer Academic Publishers.","DOI":"10.1007\/978-94-017-1201-9_11"},{"key":"5092943_CR24","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0022-4049(91)90130-T","volume":"77","author":"K. I. Rosenthal","year":"1991","unstructured":"Rosenthal, K. I., (1991) \u2018Free quantaloids\u2019, Journal of Pure and Applied Algebra77, 67.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"5092943_CR25","unstructured":"Smets, S. (2001): \u2018The Logic of physical properties in static and dynamic perspective\u2019, PhD-thesis, Free University of Brussels."},{"key":"5092943_CR26","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1007871611325","volume":"13","author":"S. Sourbron","year":"2000","unstructured":"Sourbron, S., (2000) \u2018A note on causal duality\u2019, Foundations of Physics Letters13, 357.","journal-title":"Foundations of Physics Letters"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016335024252.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1016335024252\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016335024252.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:25:11Z","timestamp":1754630711000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1016335024252"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,6]]}},"alternative-id":["5092943"],"URL":"https:\/\/doi.org\/10.1023\/a:1016335024252","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}