Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:alsoKnownAs |
Hauptsatz
|
gptkbp:appliesTo |
gptkb:sequent_calculus
|
gptkbp:field |
proof theory
|
gptkbp:formedBy |
gptkb:Gerhard_Gentzen
|
https://www.w3.org/2000/01/rdf-schema#label |
cut-elimination theorem
|
gptkbp:implies |
consistency of arithmetic
|
gptkbp:influenced |
gptkb:lambda_calculus
structural proof theory |
gptkbp:relatedTo |
gptkb:Gentzen's_consistency_proof
consistency proof subformula property |
gptkbp:state |
Every proof in sequent calculus can be transformed into a cut-free proof
|
gptkbp:usedIn |
automated theorem proving
proof normalization |
gptkbp:yearProposed |
1934
|
gptkbp:bfsParent |
gptkb:Gérard_Gentzen
|
gptkbp:bfsLayer |
5
|