Duality for the logic of quantum actions (Q495836): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 00:27, 5 March 2024
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
