Structural Proof Theory¶
Negri, S., von Plato, J., & Ranta, A. (2001). Structural Proof Theory. Cambridge University Press.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Sequent
- Classical `LK` normally permits multiple succedents; intuitionistic `LJ` is commonly single-succedent; substructural calculi may make order or multiplicity semantically and proof-theoretically load-bearing by withholding exchange, weakening, or contraction.
This sourceAuthoritative treatment of sequent calculus, intuitionistic and classical variants, structural rules, proof analysis, and extensions.
- Classical `LK` normally permits multiple succedents; intuitionistic `LJ` is commonly single-succedent; substructural calculi may make order or multiplicity semantically and proof-theoretically load-bearing by withholding exchange, weakening, or contraction.
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:62d8f0c15642 · see in the full table