|
| | | | |
| | | |
| Stat |
Members: 3645
Articles: 2'503'724
Articles rated: 2609
24 April 2024 |
|
| | | | |
|
Article forum
| |
|
|
Disjunctive Quantum Logic in Dynamic Perspective | | Bob Coecke
; | | Date: |
24 Nov 2000 | | Journal: | Studia Logica 71, 1-10 (2002) | | Subject: | Logic; Mathematical Physics MSC-class: 03G12; 18B35; 81P10 | math.LO math-ph math.MP quant-ph | | 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. | | Source: | arXiv, math.LO/0011209 | | Services: | Forum | Review | PDF | Favorites | |
|
|
No message found in this article forum.
You have a question or message about this article?
Ask the community and write a message in the forum.
If you want to rate this article, please use the review section..
To add a message in the forum, you need to login or register first. (free): registration page
|
| |
|
|
|
|
News, job offers and information for researchers and scientists:
| |
REGISTER