Foundation for quantum computing

DOI10.1023/A:1024410829713zbMath1038.81012OpenAlexW4241815177MaRDI QIDQ1404050

Stephen A. Selesnick

Publication date: 20 August 2003

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1024410829713

zbMATH Keywords

quantum logicquantum computingmathematical logicHeyting paradigmintuitionistic propositional Gentzen sequential calculusquantum duplicationquantum storage

Mathematics Subject Classification ID

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

Related Items

LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS ⋮ Foundation for quantum computing. II ⋮ Computing the Lagrangians of the standard model ⋮ QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS ⋮ Quantum-like logics and schizophrenia ⋮ Some quantum symmetries and their breaking. I ⋮ Type structure and chiral breaking in the standard model ⋮ LOGICS FROM QUANTUM COMPUTATION ⋮ Action, quantum computation and the structure of the Yang-Mills Lagrangian ⋮ Computing the Lagrangians of the standard model II. The ghost term