Gentzen's natural deduction system
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:proof_system
|
| gptkbp:application |
automated theorem proving
formal verification |
| gptkbp:basisFor |
gptkb:classical_logic
intuitionistic logic |
| gptkbp:developedBy |
gptkb:Gerhard_Gentzen
|
| gptkbp:feature |
assumptions discharge
elimination rules introduction rules tree-like proof structure |
| gptkbp:field |
gptkb:logic
proof theory |
| gptkbp:influenced |
gptkb:sequent_calculus
modern proof assistants |
| gptkbp:introducedIn |
1934
|
| gptkbp:notation |
gptkb:Gentzen_notation
|
| gptkbp:publishedIn |
gptkb:Mathematische_Zeitschrift
|
| gptkbp:purpose |
formalization of logical reasoning
|
| gptkbp:relatedTo |
gptkb:Fitch-style_deduction_system
gptkb:Hilbert-style_deduction_system |
| gptkbp:bfsParent |
gptkb:Jaśkowski's_natural_deduction_system
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gentzen's natural deduction system
|