64 search results - page 1 / 13 » On the Proof Complexity of Deep Inference |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...
LPAR
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Jer
ENTCS
2008
13 years 4 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
CIE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
KI
2007
Springer
13 years 10 months ago
2007
Springer
