Interpreting quantum parallelism by sequents

DOI10.1007/S10773-009-0099-6MaRDI QIDQ616844zbMATH OpenOpenAlexFDO

Authors Giulia Battilotti

Publication date 12 January 2011

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

Full work available at URL https://doi.org/10.1007/s10773-009-0099-6

zbMATH Keywords

basic logicentanglementfirst order variablesholistic interpretationparaconsistent logicsquantum computational logicsquantum computational speed uprandom variablessequent calculus

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68)

Recommendations

• Foundation for quantum computing
• LOGICS FROM QUANTUM COMPUTATION
• scientific article; zbMATH DE number 2070198
• An unsharp logic from quantum computation
• A proof system for disjoint parallel quantum programs

Cites work

• Basic logic: reflection, symmetry, visibility
• Compositional and holistic quantum computational semantics
• scientific article; zbMATH DE number 2070198 (Why is no real title available?)
• scientific article; zbMATH DE number 2247253 (Why is no real title available?)
• Linear logic

Cited in

(4)

• Foundation for quantum computing
• Characterization of quantum states in predicative logic
• Quantum states as virtual singletons: converting duality into symmetry
• Parsing a Sequence of Qubits

This page was built for publication: Interpreting quantum parallelism by sequents

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