Basic Logic and Quantum Computing: Logical Judgements by an Insider Observer

From MaRDI portal
Publication:6501902

arXivquant-ph/0407057MaRDI QIDQ6501902FDOQ6501902

Giulia Battilotti


Abstract: We consider the logical assertions of a hypothetical observer who is inside a quantum computer and performs a reversible quantum measurement, obtaining a symmetric couple of new axioms, valid only inside the quantum computer. The result is that, in this logical framework, symmetry and paraconsistency hold.












This page was built for publication: Basic Logic and Quantum Computing: Logical Judgements by an Insider Observer

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