Title of article :
Quantum deduction rules
Author/Authors :
Pudlلk، نويسنده , , Pavel، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2009
Pages :
14
From page :
16
To page :
29
Abstract :
We define propositional quantum Frege proof systems and compare them with classical Frege proof systems.
Keywords :
Propositional calculus , Quantum computations , Frege proof systems
Journal title :
Annals of Pure and Applied Logic
Serial Year :
2009
Journal title :
Annals of Pure and Applied Logic
Record number :
1444288
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1444288
بازگشت