Duality for the logic of quantum actions (Q495836)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Duality for the logic of quantum actions |
scientific article |
Statements
Duality for the logic of quantum actions (English)
0 references
15 September 2015
0 references
The authors show a duality between two categories of quantum structures (for two different types of morphisms). The first category is the category of Piron lattices, i.e., irreducible atomic complete orthomodular lattices satisfying the covering property, based on testable properties. The second category is the category of quantum dynamic frames (labeled transition systems) based on states of the system.
0 references
quantum logic
0 references
Piron lattice
0 references
quantum dynamic frame
0 references
duality
0 references
