scientific article; zbMATH DE number 2119475

MaRDI QIDQ4828877zbMATH OpenFDO

Authors Marta Bílková

Publication date 26 November 2004

Full work available at URL https://eudml.org/doc/22587

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

resolutionsequent calculusintuitionistic propositional logiccomplexity of proofsmonotone logic

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Recommendations

• Monotone proofs of the pigeon hole principle
• Resolution proofs of generalized pigeonhole principles
• Monotone simulations of non-monotone proofs.
• Proofs with monotone cuts
• scientific article; zbMATH DE number 1670820

Cited in

(8)

• Expander construction in \(\mathrm{VNC}^1\)
• Monotone simulations of non-monotone proofs.
• Expander construction in \(\mathsf{VNC}^1\)
• Monotone proofs of the pigeon hole principle
• Resolution over linear equations and multilinear proofs
• Monadic translation of classical sequent calculus
• Monosequent proof systems
• Complexity of translations from resolution to sequent calculus

This page was built for publication:

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