|
| | | | |
| | | |
| Stat |
Members: 3645
Articles: 2'504'585
Articles rated: 2609
24 April 2024 |
|
| | | | |
|
Article overview
| |
|
|
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 review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
|
| |
|
|
|
|
News, job offers and information for researchers and scientists:
| |
REGISTER