Full entry |
PDF
(0.1 MB)
Feedback

intuitionistic propositional logic; monotone logic; sequent calculus; resolution; complexity of proofs

References:

[1] Atserias A., Galesi N., Gavalda R.: **Monotone Proofs of the Pigeon Hole Principle**. preprint, Barcelona University, 1999. MR 1795891 | Zbl 0989.03065

[2] Atserias A., Galesi N., Pudlák P.: **Monotone Simulations of Nonmonotone Propositional Proofs**. ECCC Report TR00-087, 2000.

[3] Cook S.A., Reckhow R.A.: **The relative efficiency of propositional proof systems**. J. Symbolic Logic 44 (1979), 36-50. MR 0523487 | Zbl 0408.03044

[4] Pudlák, P.: **On the complexity of the propositional calculus**. in Sets and Proofs, Invited papers from Logic Colloquium 1997, S.B. Cooper and J.K. Truss eds., Cambridge University Press, 1999, pp. 197-218. MR 1720576