Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing
From MaRDI portal
Publication:358690
DOI10.1007/s10992-013-9273-7zbMath1276.03047arXiv1302.3465OpenAlexW2121069757MaRDI QIDQ358690
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
Related Items (3)
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Mathematics of topological quantum computing
Cites Work
- Quantum cryptography: public key distribution and coin tossing
- Reasoning in quantum theory. Sharp and unsharp quantum logics.
- The logic of quantum mechanics
- Topological quantum computation
- The Birth of quantum logic
- QL(ℂn) determines n
- Quantum logic as motivated by quantum computing
- The Theory of Representation for Boolean Algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing