Duality for the logic of quantum actions (Q495836): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s11225-014-9592-x / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2012421462 / rank | |||
Normal rank | |||
Revision as of 14:23, 19 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
