On Methods for Proving Lower Bounds in Propositional Logic

@inproceedings{KrajOnMF,
  title={On Methods for Proving Lower Bounds in Propositional Logic},
  author={Jan Kraj}
}
  • Jan Kraj
This paper is based on my lecture 26]. It examines the problem of proving non-trivial lower bounds for the length of proofs in propositional logic from the perspective of methods available rather than surveying known partial results (i.e., lower bounds for weaker proof systems). We discuss neither motivations for proving lower bounds for propositional logic… CONTINUE READING