Title of article :
On theories of bounded arithmetic for
Author/Authors :
Je??bek، نويسنده , , Emil، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2011
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
Journal title :
Annals of Pure and Applied Logic
