Skip to main content
SpringerLink
Log in

Disjunctive Quantum Logic in Dynamic Perspective

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In Coecke (2002) we proposed the intuitionistic or disjunctive representation of quantum logic, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these properties, where this complete Heyting algebra goes equipped with an additional operation, the operational resolution, which identifies the properties within the logic of propositions. This representation has an important application “towards dynamic quantum logic”, namely in describing the temporal indeterministic propagation of actual properties of physical systems. This paper can as such by conceived as an addendum to “Quantum Logic in Intuitionistic Perspective” that discusses spin-off and thus provides an additional motivation. We derive a quantaloidal semantics for dynamic disjunctive quantum logic and illustrate it for the particular case of a perfect (quantum) measurement.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Abramsky, S., and S. Vickers, (1993) ‘Quantales, observational logic and process semantics’, Mathematical Structures in Computer Science3, 161.

    Google Scholar 

  • Amira, H., B. Coecke, and I. Stubbe, (1998) ‘How quantales emerge by introducing induction within the operational approach’, Helvetica Physica Acta71, 554.

    Google Scholar 

  • Bruns, G., and H. Lakser, (1970) ‘Injective hulls of semilattices’, Canadian Mathematical Bulletin13, 115.

    Google Scholar 

  • Borceux, F., (1994) Handbook of Categorical Algebra I & II, Cambridge University Press.

  • 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.

  • Coecke, B., and I. Stubbe, (1999) ‘Operational resolutions and state transitions in a categorical setting’, Foundations of Physics Letters12, 29; arXiv: quant-ph/0008020.

    Google Scholar 

  • Coecke, B., (2000) ‘Structural characterization of compoundness’, International Journal of Theoretical Physics39, 581; arXiv: quant-ph/0008054.

    Google Scholar 

  • 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.

  • Coecke, B., D. J. Moore, I. and Stubbe, (2001) ‘Quantaloids describing causation and propagation for physical properties’, Foundations of Physics Letters14, 133; arXiv: quant-ph/0009100.

    Google Scholar 

  • Coecke, B., and S. Smets, (2000) ‘A logical description for perfect measurements’, International Journal of Theoretical Physics39, 591; arXiv: quant-ph/0008017.

    Google Scholar 

  • Coecke, B., (2001a) ‘Do we have to retain Cartesianity in topos-approaches to quantum theory, and, quantum gravity’, preprint.

  • 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 Physicsfor the proceedings of IQSA V, Cesena, Italy, April 2001.

  • Coecke, B., (2002) ‘Quantum logic in intuitionistic perspective’, Studia Logica70, 411-440; arXiv: math.LO/0011208.

    Google Scholar 

  • Daniel, W., (1989) ‘Axiomatic descrition of irreversable and reversable evolution of a physical system’, Helvetica Physica Acta62, 941.

    Google Scholar 

  • Faure, Cl.-A., and A. Frölicher, (1993) ‘Morphisms of projective geometries and of corresponding lattices’, Geometriœ Dedicata47, 25.

    Google Scholar 

  • Faure, Cl.-A., and A. Frölicher, (1994) ‘Morphisms of projective geometries and semilinear maps’, Geometriœ Dedicata53, 237.

    Google Scholar 

  • Faure, Cl.-A., D.J. Moore, and C. Piron, (1995) ‘Deterministic evolutions and Schrödinger flows’, Helvetica Physica Acta68, 150.

    Google Scholar 

  • Harding, J., (1999) Private communication.

  • Johnstone, P. T., (1982) Stone Spaces, Cambridge University Press.

  • Kalmbach, G., (1983) Orthomodular Lattices, Academic Press.

  • Piron, C., (1976) Foundations of Quantum Physics, W. A. Benjamin, Inc.

  • Pool, J. C. T., (1968) ‘Baer *-semigroups and the logic of quantum mechanics’, Communications in Mathematical Physics9, 118.

    Google Scholar 

  • 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.

  • Rosenthal, K. I., (1991) ‘Free quantaloids’, Journal of Pure and Applied Algebra77, 67.

    Google Scholar 

  • Smets, S. (2001): ‘The Logic of physical properties in static and dynamic perspective’, PhD-thesis, Free University of Brussels.

  • Sourbron, S., (2000) ‘A note on causal duality’, Foundations of Physics Letters13, 357.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Comlab, Oxford University, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK

    Bob Coecke

Authors
  1. Bob Coecke
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Coecke, B. Disjunctive Quantum Logic in Dynamic Perspective. Studia Logica 71, 47–56 (2002). https://doi.org/10.1023/A:1016335024252

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1016335024252

Search

Navigation