This article is cited in 1 paper

Part 3. Mathematical models

On some Frege system

G. V. Bokov


Abstract: In this article, we consider a Frege system over the signature $\{\wedge, \vee, \lnot\}$. For this system, we prove a nontrivial lower bound to the length of proofs.

Keywords: Frege systems, length of proof, lower bounds.