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

intuitionistic logicquantum logicdynamic logicquantaloidproperty latticeoperational resolution

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.

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)

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

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)