Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
DOI10.1007/S10773-017-3433-4zbMath1387.81023OpenAlexW2734683679MaRDI QIDQ682665
Soroush Rafiee Rad, Shengyang Zhong, Joshua Sack, Kohei Kishida
Publication date: 5 February 2018
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:7c9e9d7f-a150-4bda-9a45-bd5f3643334f
Semimodular lattices, geometric lattices (06C10) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Duality for the logic of quantum actions
- Complete axiomatizations for quantum actions
- The Sasaki hook is not a [static implicative connective but induces a backward [in time] dynamic one that assigns causes]
- Quantales, observational logic and process semantics
This page was built for publication: Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
