Untersuchungen über das logische Schließen I

Gentzen, G. (1935). Untersuchungen über das logische Schließen I. Mathematische Zeitschrift, 39(1), 176-210.

Type

Journal article

Intellectual base

Primary research

Year

1935

Volume

39

Issue

1

Pages

176-210

DOI

10.1007/bf01201353

DOI registrant

Springer Nature

Link

https://doi.org/10.1007/BF01201353

Cited from

linguistics_semiotics

Cited by

3 citations across 3 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Setup–Resolution Pair
  • And the scope discipline is what makes both detectable: the bearer here is the proof's own nesting structure, which holds each assumption open and refuses to let anything derived under it escape until the pairing move is made.

    This sourceEstablishes natural deduction with assumption discharge and scope discipline, so that a derivation carrying an undischarged assumption is incomplete as a unit and only the implication-introduction move retires it.

Domain-specific

• Cut Rule
  • Neither eliminability nor a particular normalization algorithm is a constituent of an individual cut step.

    This sourceThe technical claims here are checked against the accessible authored sources above.

Mechanisms

• Natural Deduction Proof Tree
  • Its strength is mechanical checkability: because it descends from Gentzen's natural deduction

    This sourceIntroduces natural-deduction derivations in which conclusions follow through explicit, locally checkable inference rules.

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 3 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://link.springer.com/article/10.1007/BF01201353 ×1

Registry ID ref:2d0ae028aa94 · see in the full table