Deduction

Dag Prawitz, N. (1965). Deduction: A Proof-Theoretical Study, Almqvist and Wiksell, 1965.

Type

Unclassified

Intellectual base

Unclassified

Year

1965

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Negation introduction
  • … that the proof system, temporary assumption, contradiction or bottom rule, scope and discharge condition are explicit and no conclusion depends on an undischarged copy of the assumption. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..

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:e56ae9a0ec27 · see in the full table