scientific article; zbMATH DE number 440475

MaRDI QIDQ3140632zbMATH OpenFDO

Authors Maria Luisa Bonet

Publication date 28 November 1993

zbMATH Keywords

deduction ruleFrege systemsquadratic speedup

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Recommendations

• The deduction rule and linear and near-linear proof simulations
• Quantified propositional logic and the number of lines of tree-like proofs
• scientific article; zbMATH DE number 4104947
• Polynomial size proofs of the propositional pigeonhole principle
• Some remarks on lengths of propositional proofs

Cited in

(7)

• Some remarks on lengths of propositional proofs
• The deduction rule and linear and near-linear proof simulations
• Logical Closure Properties of Propositional Proof Systems
• On the correspondence between arithmetic theories and propositional proof systems – a survey
• scientific article; zbMATH DE number 4104947 (Why is no real title available?)
• The Deduction Theorem for Strong Propositional Proof Systems
• The deduction theorem for strong propositional proof systems

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 Q3140632)