The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes

International Journal of Theoretical Physics

Volumn 43, Issue 7-8, 2004, Pages 1705-1736

  Coecke, Bob ^a   Smets, Sonja ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

Dynamic quantum logic; Galois adjoint; Sasaki hook

Indexed keywords

EID: 24144458900     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:IJTP.0000048815.92983.6e     Document Type: Article

References (65)

1. Abramsky, S. (1993). Theoretical Computer Science 111, 3-57.
2. Aerts, D. (1981). The One and the Many, Towards a Unification of the Quantum and the Classical Description of One and Many Physical Entities, PhD Thesis, Free University of Brussels.
3. Amira, H., Coecke, B., and Stubbe, I. (1998). Helvetica Physica Acta 71, 554-572.
4. Avron, A. (1994). What is a Logical System? In What is a Logical System? D. M. Gabbay, ed., pp. 217-238, Studies in Logic and Computation 4, Oxford Science Publications.
5. Baltag, A. (1999). A Logic of Epistemic Actions. In Proceedings of the Workshop on Foundations and Applications of Collective Agent Based Systems (ESLLI'99), W. van der Hoek, J. J. Meyer, and C. Witteveen, eds., Utrecht University.
6. van Benthem, J. (1991). Language in Action: Categories, Lambdas and Dynamic Logic. In Studies in Logic and Foundations of Mathematics, 130, S. Abramsky, et al. eds., North-Holland, Amsterdam.
7. van Benthem, J. (1994). General Dynamic Logic. In What is a Logical System? pp. 107-139, D. M. Gabbay ed., Studies in Logic and Computation 4, Oxford Science Publications.
8. Birkhoff, G. and von Neumann, J. (1936). Annals of Mathematics 37, 823-843.
9. Blok, W. J., Köler, P., and Pigozzi, D. (1984). Algorithm Universalis 18, 334-379.
10. Borceux, F. (1994). Handbook of Categorical Algebra 3, Categories of Sheaves, Cambridge University Press, Cambridge.
11. Bruns, G. and Lakser, H. (1970). Canadian Mathematics Bulletin 13, 115-118.
12. Bruns, G. and Harding, J. (2000). Algebraic aspects of orthomodular lattices. In Current Research in Operational Quantum Logic: Algebras, Categories and Languages, B. Coecke, D. J. Moore and A. Wilce eds., Kluwer Academic Publishers, pp. 37-66.
13. Coecke, B. (2000). International Journal of Theoretical Physics 39, 585-594; arXiv: quant-ph/0008054.
14. Coecke, B. (2002a). Quantum logic in intuitionistic perspective and Disjunctive quantum logic in dynamic perspective, Studia Logica 70, 411-440& 71, 1-10; arXiv: math.L0/0011208 and math.L0/0011209.
15. Coecke, B. (2002b). Do we have to retain Cartesian closedness in the Topos-approaches to quantum theory, and, quantum gravity? Preprint.
16. Coecke, B. and Moore, D. J. (2000). Operational galois adjunctions. In Current Research in Operational Quantum Logic: Algebras, Categories and Languages, B. Coecke, D. J. Moore and A. Wilce, eds., Kluwer Academic Publishers, pp. 195-218, arXiv: quant-ph/0008021.
17. Coecke, B., Moore, D. J., and Smets, S. (2001a). From operationality to logicality II. Syntax and Semantics, preprint.
18. Coecke, B., Moore, D. J., and Smets, S. (2001b). Logic of dynamics & dynamics of logic; Some paradigm examples, In Logic, Epistemology and the Unity of Science, D. M. Gabbay, et al, eds., to appear; arXiv: math.LO/0106059.
19. Coecke, B., Moore, D. J., and Smets, S. (2001c). Adjoint implications for lattice logics, Preprint.
20. Coecke, B., Moore, D. J., and Stubbe, I. (2001). Foundations of Physics Letters 14, 133-145; arXiv:quant-ph/0009100.
21. Coecke, B., Moore, D. J., and Wilce, A. (2000). Operational quantum logic: An overview. In Current Research in Operational Quantum Logic: Algebras, Categories and Languages, B. Coecke, D. J. Moore, and A. Wilce eds., Kluwer Academic Publishers, Dordrecht, pp. 1-36; arXiv:quant-ph/0008019.
22. Coecke, B. and Smets, S. (2000). International Journal of Theoretical Physics 39, 595-603; arXiv:quant-ph/0008017.
23. Coecke, B. and Stubbe, I. (1999). Foundations of Physics Letters 12, 29-49; arXiv:quant-ph/0008020.
24. Coecke, B., Stubbe, I., and Valckenborgh, F. (2001). Generalized linearity for indeterminism, In preparation.
25. Dunford, N. and Schwartz, J. T. (1957). Linear Operators Part I, John Wiley & Sons.
26. Emch, G. and Jauch, J. M. (1965). Dialectica 19 259-279.
27. Erné, M., Koslowski, J., Melton, A., and Strecker, G. E. (1993). Ann. NY Acc. Sc. 704, 103-125; www.iti.cs.tu-bs.de/TI-INFO/koslowj/RESEARCH/gal.ps.gz.
28. Faure, Cl.-A. and Frölicher, A. (1993). Geometrical Deductions. 47, 25-40.
29. Faure, Cl.-A. and Frölicher, A. (1994). Geometrical Deductions 53, 237-269.
30. Faure, Cl.-A., Moore, D. J., and Piron, C. (1995). Helvetica Physica Acta 68, 150-157.
31. Foulis, D. J. (1960). Proceedings of American Mathematical Society 11, 648-654.
32. Foulis, D. J., Piron, C., and Randall, C. H. (1983). Foundations of Physics 13, 813-841.
33. Foulis, D. J. and Randall, C. H. (1972). Journal Of Mathematics and Physics 13, 1667-1675.
34. Foulis, D. J. and Randall, C. H. (1984). Foundations of Physics 14, 65-88.
35. Girard, J.-Y. (1987). Theoretical Computer Science 50, 1-102.
36. Girard, J.-Y. (2000). Du pourquoi au comment: la théorie de la démonstration de 1950 à nos jours. In Development of Mathematics 1950-2000, J.-P. Pier ed., pp. 515-546, Birkhäuser Verlag, Basel.
37. Girard, J.-Y., Lafont, Y., and Taylor, P. (1989). Proofs and Types, Cambridge University Press, Cambridge.
38. Goldblatt, R. (1984). Topoi, North-Holland.
39. Greechie, D. and Gudder, S. (2001). Sequential effect algebras, Lecture given at IQSA 2001, Cesena.
40. Hardegree, G. M. ( 1975). Journal of Philosophy and Logic 4, 399-421.
41. Hardegree, G. M. (1979). The conditional in abstract and concrete quantum logic. In The Logico-Algebraic Approach to Quantum Mechanics. II.,C. A. Hooker ed., D. Reidel.
42. Hardegree, G. M. (1981). Notre Dame Journal of Formal Logic 22, 163-182.
43. Harding, J. (1999). Private communication.
44. Herman, L., Marsden, E. L., and Piziak, R. (1975). Notre Dame Journal of Formal Logic, XVI, 305-328.
45. Horn, A. and Kimura, N. (1971). Alg. Universalis 1, 26-38.
46. Jauch, J. M. and Piron, C. (1969). Helvetica Physica Acta 42, 842-848.
47. Lambek, J. (1958). American Mathematics Monthly 65, 154-170.
48. Kalmbach, G. (1983). Orthomodular Lattices, Academic Press, London.
49. Malinowski, J. (1990). Journal of Symbolic Logic 55, 615.
50. Milner, R. (1999). Communicating and Mobile Systems: π-Calculus, Cambridge University Press.
51. Moore, D. J. (1993). Helvetica Physica Acta 66, 471-476.
52. Moore, D. J. (1995). Helvetica Physica Acta 68, 658-678.
53. Moore, D.J. (1999). Studies in History and Philosophy of Modern Physics 30, 61-83.
54. Pauli, W. (1958). Die Allgemeinen Prinzipien der Wellenmechanic, Handbuch der Physik Vol. V, Part I, Springer-Verlag, Berlin.
55. Piron, C. (1964). Helvetica Physica Acta 37, 439-468.
56. Piron, C. (1976). Foundations of Quantum Physics, W. A. Benjamin Inc., Massachusetts.
57. Piziak, R. (1986). Mathematical Reviews MR86i:81012.
58. Randall, C. H. and Foulis, D. J. (1973). Journal of Mathamatics and Physics 14, 1472-1480.
59. Rovelli, C. (1997). Half way through the woods. In The Cosmos of Science, J. Earman and J. D. Norton eds., University of Pittsburgh Press and Universitäts Verlag Konstanz.
60. Rovelli, C. (1999). Quantum spacetime: What do we know? In Physics Meets Philosophy at the Planck Scale, C. Callender and N. Hugget eds., Cambridge University Press, Cambridge.
61. Smets, S. (2001). The Logic of Physical Properties, in Static and Dynamic Perspective, PhD Thesis, Free University of Brussels.
62. Sourbron, S. (2000). Foundations of Physics Letters 13, 357-367.
63. Stubbe, I. (2001). A corestriction of the Yoneda embedding as frame completion of a bounded poset with finite meets, with an application to quantum logic, Lecture given at IQSA 2001, Cesena.
64. Tarski, A. (1936, 1956). Logic, Semantics and Metamathematics, Oxford University Press.
65. Wilce, A. (2000). Test spaces and orthoalgebras. In Current Research in Operational Quantum Logic: Algebras, Categories and Languages, B. Coecke, D. J. Moore and A. Wilce eds., Kluwer Academic Publishers, Dordrecht, pp. 81-114.