Duality for the logic of quantum actions (Q495836): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
m rollbackEdits.php mass rollback Tag: Rollback |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s11225-014-9592-x / rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2012421462 / rank | |||
Revision as of 16:15, 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
