Untersuchungen über das logische Schließen
E846924
Untersuchungen über das logische Schließen is Gerhard Gentzen’s landmark 1934–35 work that founded structural proof theory and introduced natural deduction and sequent calculus.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Untersuchungen über das logische Schließen canonical | 1 |
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
scholarly article
ⓘ
work in proof theory ⓘ |
| aim |
to analyze the structure of logical inference
ⓘ
to provide rigorous systems for logical deduction ⓘ |
| author | Gerhard Gentzen NERFINISHED ⓘ |
| authorAffiliation | University of Göttingen NERFINISHED ⓘ |
| cites |
David Hilbert
NERFINISHED
ⓘ
Jan Łukasiewicz NERFINISHED ⓘ Paul Bernays NERFINISHED ⓘ |
| contributedTo | foundations of structural proof theory NERFINISHED ⓘ |
| countryOfOrigin | Germany ⓘ |
| era | 1930s logic ⓘ |
| field |
mathematical logic
ⓘ
proof theory ⓘ |
| focusesOn |
formalization of logical inference
ⓘ
rules of inference for logical connectives ⓘ structural properties of proofs ⓘ |
| hasEnglishTitle | Investigations into Logical Deduction NERFINISHED ⓘ |
| hasKeyConcept |
introduction and elimination rules
ⓘ
proof transformation ⓘ sequents ⓘ structural rules ⓘ |
| hasPart |
first paper on natural deduction
ⓘ
second paper on sequent calculus ⓘ |
| historicalSignificance |
foundational work in 20th-century logic
ⓘ
standard reference in proof theory ⓘ |
| influenced |
automated theorem proving
ⓘ
modern proof theory ⓘ philosophy of logic ⓘ type theory NERFINISHED ⓘ |
| introduced |
natural deduction calculus
NERFINISHED
ⓘ
sequent calculus ⓘ structural rules in sequent calculus ⓘ |
| logicSystemType |
classical logic
ⓘ
intuitionistic logic NERFINISHED ⓘ |
| method |
axiomatic and rule-based presentation of logic
ⓘ
formal proof systems ⓘ |
| originalLanguage | German ⓘ |
| publicationYear |
1934
ⓘ
1935 ⓘ |
| publishedIn | Mathematische Zeitschrift NERFINISHED ⓘ |
| topic |
formal deduction systems
ⓘ
logical consequence ⓘ natural deduction ⓘ sequent calculus ⓘ structural proof theory ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.