Foundation for quantum computing
From MaRDI portal
Publication:1404050
DOI10.1023/A:1024410829713zbMath1038.81012OpenAlexW4241815177MaRDI QIDQ1404050
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
quantum logicquantum computingmathematical logicHeyting paradigmintuitionistic propositional Gentzen sequential calculusquantum duplicationquantum storage
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