Studia Logica 71 (1):47 - 56 (2002)
|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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
R. I. G. Hughes (1980). Quantum Logic and the Interpretation of Quantum Mechanics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:55 - 67.
Othman Qasim Malhas (1994). Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory. Journal of Symbolic Logic 59 (2):501-515.
Claudio Garola (1992). Truth Versus Testability in Quantum Logic. Erkenntnis 37 (2):197 - 222.
Peter Mittelstaedt (1978). The Metalogic of Quantum Logic. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:249 - 256.
E. -W. Stachow (1976). Completeness of Quantum Logic. Journal of Philosophical Logic 5 (2):237 - 280.
Bob Coecke (2002). Quantum Logic in Intuitionistic Perspective. Studia Logica 70 (3):411-440.
A. Baltag & S. Smets (2008). A Dynamic-Logical Perspective on Quantum Behavior. Studia Logica 89 (2):187 - 211.
James H. McGrath (1986). Quantum Disjunctive Facts. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:76 - 86.
Sonja Smets (2006). From Intuitionistic Logic to Dynamic Operational Quantum Logic. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
Added to index2009-01-28
Total downloads8 ( #131,711 of 722,868 )
Recent downloads (6 months)1 ( #60,917 of 722,868 )
How can I increase my downloads?