We discuss recent results on the propositional proof complexity of Frege proof systems, including some recently discovered quasipolynomial size proofs for the pigeonhole principle and the Kneser-Lovász theorem. These are closely related to formalizability in bounded arithmetic.
CITATION STYLE
Buss, S. R. (2015). Propositional proofs in frege and extended frege systems (Abstract). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9139, pp. 1–6). Springer Verlag. https://doi.org/10.1007/978-3-319-20297-6_1
Mendeley helps you to discover research relevant for your work.