scientific article; zbMATH DE number 2119475

zbMATH Open1052.03037MaRDI QIDQ4828877FDOQ4828877

Authors: Marta Bílková 

Publication date: 26 November 2004

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

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

resolutionsequent calculusintuitionistic propositional logiccomplexity of proofsmonotone logic

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Cited In (8)

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

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)