Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
This paper provides a categorical equivalence between two types of quantum structures. One is a complete orthomodular lattice, which is used for reasoning about testable properties of a quantum system. The other is an orthomodular dynamic algebra, which is a quantale used for reasoning about quantum...
| Հիմնական հեղինակներ: | , , , |
|---|---|
| Ձևաչափ: | Journal article |
| Հրապարակվել է: |
Springer
2017
|