Complete axiomatizations for quantum actions (Q861649)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete axiomatizations for quantum actions |
scientific article |
Statements
Complete axiomatizations for quantum actions (English)
0 references
29 January 2007
0 references
dynamic quantum logic
0 references
quantum frames
0 references
quantum dynamic algebra
0 references
quantum transition systems
0 references
quantales
0 references
Piron lattices
0 references
