On the correspondence between arithmetic
โ
Olaf Beyersdorff
๐
Article
๐
2009
๐
John Wiley and Sons
๐
English
โ 216 KB
## Abstract The purpose of this paper is to survey the correspondence between bounded arithmetic and propositional proof systems. In addition, it also contains some new results which have appeared as an extended abstract in the proceedings of the conference TAMC 2008 [11]. Bounded arithmetic is cl