Disjunctive quantum logic in dynamic perspective

DOI10.1023/A:1016335024252MaRDI QIDQ1611250zbMATH OpenOpenAlexFDO

Authors Bob Coecke

Publication date 21 August 2002

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0011209

zbMATH Keywords

dynamic logicintuitionistic logicoperational resolutionproperty latticequantaloidquantum logic

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: In arXiv: math.LO/0011208 we proposed the {sl 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 {sl 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.

Review text

In ``Quantum logic in intuitionistic perspective [Stud. Log. 70, 411-440 (2002; Zbl 0999.03058)], the author proposed the intuitionistic or disjunctive representation of quantum logic. The property lattice of a physical system is represented as a complete Heyting algebra of logical propositions on these properties, equipped with an additional operation, the operational resolution. It 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. The paper discusses spin-off and thus provides an additional motivation to ``Quantum logic in intuitionistic perspective. The author derives a quantaloidal semantics for dynamic disjunctive quantum logic and illustrates it for the particular case of a perfect (quantum) measurement.

Recommendations

• The dynamic turn in quantum logic
• Quantum logic as a dynamic logic
• scientific article; zbMATH DE number 5377428
• Quantum logic in intuitionistic perspective
• Logic and quantum physics

Cited in

(9)

• Quantum logic in intuitionistic perspective
• Stabilizing quantum disjunction
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• Dynamic ideas in quantum logic
• Quantum Probabilistic Dyadic Second-Order Logic
• Quantum State Transformations and Branching Distributed Temporal Logic
• The dynamic turn in quantum logic
• Quantum logic as a dynamic logic
• Toward a more natural expression of quantum logic with Boolean fractions

This page was built for publication: Disjunctive quantum logic in dynamic perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1611250)