Disjunctive quantum logic in dynamic perspective

Studia Logica

Volumn 71, Issue 1, 2002, Pages 47-56

  Coecke, Bob ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Dynamic logic; Intuitionistic logic; Operational resolution; Property lattice; Quantaloid; Quantum logic

Indexed keywords

EID: 52649108158     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1016335024252     Document Type: Article

References (26)

1. Abramsky, S., and S. Vickers, (1993) 'Quantales, observational logic and process semantics', Mathematical Structures in Computer Science 3, 161.
2. 6, and I. Stubbe, (1998) 'How quantales emerge by introducing induction within the operational approach', Helvetica Physica Acta 71, 554.
3. Bruns, G., and H. Lakser, (1970) 'Injective hulls of semilattices', Canadian Mathematical Bulletin 13, 115.
4. Borceux, F., (1994) Handbook of Categorical Algebra I & II, Cambridge University Press.
5. Borceux, F., and I. Stubbe, (2000) 'Short introduction to enriched categories', 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.
6. Coecke, B., and I. Stubbe, (1999) 'Operational resolutions and state transitions in a categorical setting', Foundations of Physics Letters 12, 29; arXiv: quant-ph/0008020.
7. Coecke, B., (2000) 'Structural characterization of compoundness', International Journal of Theoretical Physics 39, 581; arXiv: quant-ph/0008054.
8. Coecke, B., and D. J. Moore, (2000) 'Operational Galois adjunctions', 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.
9. Coecke, B., D. J. Moore, I. and Stubbe, (2001) 'Quantaloids describing causation and propagation for physical properties', Foundations of Physics Letters 14, 133; arXiv: quant-ph/0009100.
10. Coecke, B., and S. Smets, (2000) 'A logical description for perfect measurements', International Journal of Theoretical Physics 39, 591; arXiv: quant-ph/0008017.
11. Coecke, B., (2001a) 'Do we have to retain Cartesianity in topos-approaches to quantum theory, and, quantum gravity', preprint.
12. Coecke, B., (2001b) 'The Sasaki-Hook is not a static implicative connective but induces a backward (in time) dynamic one that assigns causes of truth/actuality', paper submitted to International Journal of Theoretical Physics for the proceedings of IQSA V, Cesena, Italy, April 2001.
13. Coecke, B., (2002) 'Quantum logic in intuitionistic perspective', Studia Logica 70, 411-440; arXiv: math.LO/0011208.
14. Daniel, W., (1989) 'Axiomatic descrition of irreversable and reversable evolution of a physical system', Helvetica Physica Acta 62, 941.
15. Faure, Cl.-A., and A. Frölicher, (1993) 'Morphisms of projective geometries and of corresponding lattices', GeometriæDedicata 47, 25.
16. Faure, Cl.-A., and A. Frölicher, (1994) 'Morphisms of projective geometries and semilinear maps', Geometriæ Dedicata 53, 237.
17. Faure, Cl.-A., D.J. Moore, and C. Piron, (1995) 'Deterministic evolutions and Schrödinger flows', Helvetica Physica Acta 68, 150.
18. Harding, J., (1999) Private communication.
19. Johnstone, P. T., (1982) Stone Spaces, Cambridge University Press.
20. Kalmbach, G., (1983) Orthomodular Lattices, Academic Press.
21. Piron, C., (1976) Foundations of Quantum Physics, W. A. Benjamin, Inc.
22. Pool, J. C. T., (1968) 'Baer *-semigroups and the logic of quantum mechanics', Communications in Mathematical Physics 9, 118.
23. Resende, P., (2000) 'Quantales and observational semantics', 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.
24. Rosenthal, K. I., (1991) 'Free quantaloids', Journal of Pure and Applied Algebra 77, 67.
25. Smets, S. (2001): 'The Logic of physical properties in static and dynamic perspective', PhD-thesis, Free University of Brussels.
26. Sourbron, S., (2000) 'A note on causal duality', Foundations of Physics Letters 13, 357.