On Interpolation and Automatization for Frege Systems

@article{Bonet2000OnIA,
  title={On Interpolation and Automatization for Frege Systems},
  author={Maria Luisa Bonet and Toniann Pitassi and Ran Raz},
  journal={SIAM J. Comput.},
  year={2000},
  volume={29},
  pages={1939-1967}
}
The interpolation method has been one of the main tools for proving lower bounds for propositional proof systems. Loosely speaking, if one can prove that a particular proof system has the feasible interpolation property, then a generic reduction can (usually) be applied to prove lower bounds for the proof system, sometimes assuming a (usually modest) complexity-theoretic assumption. In this paper, we show that this method cannot be used to obtain lower bounds for Frege systems, or even for TC0… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 106 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 70 extracted citations

Satisfiability, Branch-Width and Tseitin tautologies

computational complexity • 2011
View 4 Excerpts
Highly Influenced

VTC/sup O/: a second-order theory for TC/sup 0/

Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. • 2004
View 6 Excerpts
Highly Influenced

On Non-automatizability in PAC-Semantics

Electronic Colloquium on Computational Complexity • 2013
View 6 Excerpts
Highly Influenced

Proof Complexity of Non-classical Logics

View 5 Excerpts
Highly Influenced

Proof Complexity of Non-classical Logics

TAMC • 2010
View 5 Excerpts
Highly Influenced

On the Automatizability of Polynomial Calculus

Theory of Computing Systems • 2009
View 5 Excerpts
Highly Influenced

Quantum deduction rules

Electronic Colloquium on Computational Complexity • 2007
View 4 Excerpts
Highly Influenced

107 Citations

0510'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 107 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…