forgot password?
register here
Research articles
  search articles
  reviews guidelines
  articles index
My Pages
my alerts
  my messages
  my reviews
  my favorites
Members: 2980
Articles: 2'031'962
Articles rated: 2577

20 January 2021
  » arxiv » math.LO/0011209

 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
AbstractIn 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   
Visitor rating: did you like this article? no 1   2   3   4   5   yes

No review found.
 Did you like this article?

This article or document is ...
of broad interest:
Global appreciation:

  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.

browser CCBot/2.0 (
» my Online CV
» Free

News, job offers and information for researchers and scientists:
home  |  contact  |  terms of use  |  sitemap
Copyright © 2005-2021 - Scimetrica