This is a preview. Log in through your library . Abstract We construct an extension $\scr{L}^{P}$ of the standard language $\scr{L}$ of classical propositional logic by adjoining to the alphabet of ...

Propositional proof complexity is the study of the sizes of propositional proofs, and more generally, the resources necessary to certify propositional tautologies. Questions about proof sizes have ...