Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices

DOI10.1007/S10773-017-3433-4zbMATH Open1387.81023OpenAlexW2734683679MaRDI QIDQ682665FDOQ682665

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

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

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)

Cites Work

• Title not available (Why is that?)
• Complete axiomatizations for 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
• Title not available (Why is that?)
• Duality for the logic of quantum actions
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)