Quantum logic as motivated by quantum computing

DOI10.2178/JSL/1120224716MaRDI QIDQ5718663zbMATH OpenOpenAlexFDO

Authors J. Michael Dunn, Tobias Hagge, Lawrence S. Moss, 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

decidabilityHilbert spacequantum computingquantum logicqubit

Mathematics Subject Classification ID

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

Abstract: We explore a connection between quantum logic and quantum computing.

Recommendations

• Quantum logic is undecidable
• Quantum logic and quantum computation
• Quantum logic for quantum computers
• scientific article; zbMATH DE number 2070198
• A theory of computation based on quantum logic. I

Cites work

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

Cited in

(14)

• Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
• Quantum logic as a basis for computations
• Quantum logic is undecidable
• scientific article; zbMATH DE number 5377428 (Why is no real title available?)
• 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)\)
• The power of qutrit logic for quantum computation
• 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
• Quantum logic as a dynamic logic
• Quantum logic and quantum computation
• QL(ℂⁿ) determines n
• Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras

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

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