Duality for the logic of quantum actions

DOI10.1007/s11225-014-9592-xzbMath1361.06005OpenAlexW2012421462MaRDI QIDQ495836

Kohei Kishida, Shengyang Zhong, Joshua Sack, Jort Martinus Bergfeld

Publication date: 15 September 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9592-x

zbMATH Keywords

dualityquantum logicPiron latticequantum dynamic frame

Mathematics Subject Classification ID

Lattices and duality (06D50) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items (5)

Unnamed Item ⋮ Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On state spaces and property lattices
• Complete axiomatizations for quantum actions
• Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms
• Semantic analysis of orthologic
• An elementary proof of the fundamental theorem of projective geometry
• The Sasaki hook is not a [static implicative connective but induces a backward [in time] dynamic one that assigns causes]
• Symmetry and Self-Duality in Categories of Probabilistic Models
• Stone Duality for Markov Processes
• Category Theory
• LQP: the dynamic logic of quantum information
• The Theory of Representation for Boolean Algebras

This page was built for publication: Duality for the logic of quantum actions