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

DOI10.1007/S10992-013-9273-7zbMATH Open1276.03047arXiv1302.3465OpenAlexW2121069757MaRDI QIDQ358690FDOQ358690

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)

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.

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

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

zbMATH Keywords

Boolean algebraquantum logicqubitorthomodular poset

Mathematics Subject Classification ID

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

Cites Work

• Quantum cryptography: public key distribution and coin tossing
• Title not available (Why is that?)
• The logic of quantum mechanics
• Title not available (Why is that?)
• Topological quantum computation
• The Theory of Representation for Boolean Algebras
• Title not available (Why is that?)
• Tolological quantum computation.
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Title not available (Why is that?)
• Gentzen methods in quantum logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Birth of quantum logic
• QL(ℂⁿ) determines n
• Title not available (Why is that?)
• Quantum logic as motivated by quantum computing

Cited In (3)

• Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators
• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
• Mathematics of topological quantum computing

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)