The Strength of Multilinear Proofs

We introduce an algebraic proof system that manipulates multilinear arithmetic formulas. We show that this proof system is fairly strong, even when restricted to multilinear arithmetic formulas of a very small depth. Specifically, we show the following:

• Type: Journal
• Year: 2008
• Where: CC
• Authors: Ran Raz, Iddo Tzameret
• Keywords: Algebraic Proof, Arithmetic Formulas, CC 2008, Multilinear Arithmetic Formulas, System Software