L LICS 2004 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04) Abstract - Proof Nets and Boolean Circuits
19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)
Proof Nets and Boolean Circuits
Turku, Finland
July 13-July 17
ISBN: 0-7695-2192-4
 ASCII Text x Kazushige Terui, "Proof Nets and Boolean Circuits," Logic in Computer Science, Symposium on, pp. 182-191, 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), 2004.
 BibTex x @article{ 10.1109/LICS.2004.1319612,author = {Kazushige Terui},title = {Proof Nets and Boolean Circuits},journal ={Logic in Computer Science, Symposium on},volume = {0},year = {2004},issn = {1043-6871},pages = {182-191},doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319612},publisher = {IEEE Computer Society},address = {Los Alamitos, CA, USA},}
 RefWorks Procite/RefMan/Endnote x TY - CONFJO - Logic in Computer Science, Symposium onTI - Proof Nets and Boolean CircuitsSN - 1043-6871SP182EP191A1 - Kazushige Terui, PY - 2004KW - nullVL - 0JA - Logic in Computer Science, Symposium onER -
Kazushige Terui, National Institute of Informatics, Japan
We study the relationship between proof nets for mutiplicative linear logic (with unbounded fan-in logical connectives) and Boolean circuits. We give simulations of each other in the style of the proofs-as-programs correspondence; proof nets correspond to Boolean circuits and cut-elimination corresponds to evaluation. The depth of a proof net is defined to be the maximum logical depth of cut formulas in it, and it is shown that every unbounded fan-in Boolean circuit of depth n, possibly with stCONN₂ gates, is polynomially simulated by a proof net of depth O(n) and vice versa. here, stCONN₂ stands for st-connectivity gates for undirected graphs of degree 2. Let APN{i} be the class of languages for which there is a polynomial size, log{i}-depth family of proof nets. We then have APN{i} = AC{i}(stCONN₂).
Citation:
Kazushige Terui, "Proof Nets and Boolean Circuits," lics, pp.182-191, 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), 2004