Quantum deduction rules

Abstract

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

Keywords

• Quantum
• deduction
• rules