Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices

DOI10.1007/S10773-017-3433-4MaRDI QIDQ682665zbMATH OpenOpenAlexFDO

Authors Kohei Kishida, Soroush Rafiee Rad, Joshua Sack, Shengyang Zhong

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

zbMATH Keywords

quantalecomplete orthomodular latticeorthomodular dynamic algebra

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15) Semimodular lattices, geometric lattices (06C10)

Recommendations

• scientific article; zbMATH DE number 2246601
• Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras
• Orthomodular lattices, Foulis semigroups and dagger kernel categories
• A characterization of quantic quantifiers in orthomodular lattices
• Duality for the logic of quantum actions

Cites work

• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 5214898 (Why is no real title available?)
• scientific article; zbMATH DE number 3088093 (Why is no real title available?)
• Complete axiomatizations for quantum actions
• Duality for the logic of quantum actions
• Quantales, observational logic and process semantics
• The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes

Cited in

(4)

• scientific article; zbMATH DE number 2246601 (Why is no real title available?)
• scientific article; zbMATH DE number 6917933 (Why is no real title available?)
• Total and partial computation in categorical quantum foundations
• Dagger categories of tame relations

This page was built for publication: Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q682665)