Investigations into Logical Deduction

Gentzen, G. (1935). Investigations into Logical Deduction. Mathematische Zeitschrift.

Type

Book chapter

Intellectual base

Review or monograph

Year

1935

Link

https://doi.org/10.1016/S0049-237X(08)70822-X not authoritativeverified

Cited by

1 citation across 1 artifact.

Domain-specific

• Conjunction Introduction
  • The compressed sequent \(A,B\vdash A\land B\) is a valid instance, not the most general rule schema.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:b9cad83484a7 · see in the full table