Interpreting quantum parallelism by sequents

DOI10.1007/s10773-009-0099-6zbMath1204.81043OpenAlexW1975498829MaRDI QIDQ616844

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

random variablessequent calculusentanglementbasic logicparaconsistent logicsfirst order variablesholistic interpretationquantum computational logicsquantum computational speed up

Mathematics Subject Classification ID

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

Related Items (2)

Characterization of quantum states in predicative logic ⋮ Quantum states as virtual singletons: converting duality into symmetry

Cites Work

• Linear logic
• Compositional and holistic quantum computational semantics
• Basic logic: reflection, symmetry, visibility
• Unnamed Item
• Unnamed Item

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