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
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
cut-elimination theorem
|