Logical closure properties of propositional proof systems - (Extended abstract)
Olaf Beyersdorff · White Rose Research Online (University of Leeds, The University of Sheffield, University of York) · 2008
In this paper we define and investigate basic logical closure properties of propositional proof systems such as closure of arbitrary proof systems under modus ponens or substitutions. As our main result we obtain a purely logical characterization of the degrees of schematic extensions of EF in terms of a simple combination of these properties. This result underlines the empirical evidence that EF and its extensions admit a robust definition which rests on only a few central concepts from propositional logic.