Natural Deduction

Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study.

Type

Book

Intellectual base

Review or monograph

Year

1965

Link

https://openlibrary.org/isbn/9780486446554 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:c8da685f883a · see in the full table