Quantum logic as motivated by quantum computing

DOI10.2178/jsl/1120224716zbMath1093.03036arXivmath/0412144OpenAlexW1992189249MaRDI QIDQ5718663

Lawrence S. Moss, J. Michael Dunn, Tobias Hagge, Zhenghan Wang

Publication date: 16 January 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0412144

zbMATH Keywords

Hilbert spacedecidabilityquantum logicquantum computingqubit

Mathematics Subject Classification ID

Quantum computation (81P68) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (8)

Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing ⋮ Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\) ⋮ Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras ⋮ First-order frames for orthomodular quantum logic ⋮ PLQP \& Company: decidable logics for quantum algorithms ⋮ On the equational theory of projection lattices of finite von neumann factors ⋮ QL(ℂⁿ) determines n ⋮ Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics

Cites Work

• Recursively unsolvable word problems of modular lattices and diagram- chasing
• The logic of quantum mechanics

This page was built for publication: Quantum logic as motivated by quantum computing