We define propositional quantum Frege proof systems and compare them with classical Frege proof systems. (C) 2008 Elsevier B.V. All rights reserved.
We define propositional quantum Frege proof systems and compare them with classical Frege proof systems. (C) 2008 Elsevier B.V. All rights reserved. (en)