Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing

DOI10.1007/S10992-013-9273-7MaRDI QIDQ358690zbMATH OpenOpenAlexFDO

Authors J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang

Publication date 9 August 2013

Published in Journal of Philosophical Logic (Search for Journal in Brave)

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

zbMATH Keywords

Boolean algebraquantum logicqubitorthomodular poset

Mathematics Subject Classification ID

Quantum computation (81P68) Quantum logic (03G12)

Abstract: We begin by discussing the history of quantum logic, dividing it into three eras or lives. The first life has to do with Birkhoff and von Neumann's algebraic approach in the 1930's. The second life has to do with attempt to understand quantum logic as logic that began in the late 1950's and blossomed in the 1970's. And the third life has to do with recent developments in quantum logic coming from its connections to quantum computation. We discuss our own work connecting quantum logic to quantum computation (viewing quantum logic as the logic of quantum registers storing qubits), and make some speculations about mathematics based on quantum principles.

Recommendations

• Towards quantum computational logics
• An unsharp logic from quantum computation
• Logic and quantum physics
• scientific article; zbMATH DE number 3853071
• Quantum logic and quantum computation

Cites work

• scientific article; zbMATH DE number 5813735 (Why is no real title available?)
• scientific article; zbMATH DE number 5838699 (Why is no real title available?)
• scientific article; zbMATH DE number 1414362 (Why is no real title available?)
• scientific article; zbMATH DE number 3424071 (Why is no real title available?)
• scientific article; zbMATH DE number 2244571 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• QL(ℂⁿ) determines n
• Could logic be empirical? The Putnam-Kripke debate
• Gentzen methods in quantum logic
• Quantum cryptography: public key distribution and coin tossing
• Quantum logic as motivated by quantum computing
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• The Birth of quantum logic
• The Theory of Representation for Boolean Algebras
• The logic of quantum mechanics
• Tolological quantum computation.
• Topological quantum computation

Cited in

(5)

• Preface
• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
• A logic for quantum register measurements
• Mathematics of topological quantum computing
• Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators

This page was built for publication: Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing

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