Title of article
On theories of bounded arithmetic for
Author/Authors
Je??bek، نويسنده , , Emil، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2011
Pages
19
From page
322
To page
340
Abstract
We develop an arithmetical theory VNC ∗ 1 and its variant VNC ¯ ∗ 1 , corresponding to “slightly nonuniform” NC 1 . Our theories sit between VNC 1 and VL , and allow evaluation of log-depth bounded fan-in circuits under limited conditions. Propositional translations of Σ 0 B ( L VNC ¯ ∗ 1 ) -formulas provable in VNC ¯ ∗ 1 admit L -uniform polynomial-size Frege proofs.
Keywords
bounded arithmetic , Propositional translation , circuit complexity
Journal title
Annals of Pure and Applied Logic
Serial Year
2011
Journal title
Annals of Pure and Applied Logic
Record number
1444536
Link To Document