The Sequent Calculus¶
Open Logic Project. (2025). The Sequent Calculus.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Sequent
- Gentzen's sequent calculi made these two contexts the objects transformed by logical and structural inference rules; a derivation is a tree whose nodes are sequents, not a single sequent enlarged into a proof.
This sourceDefines finite possibly empty antecedent and succedent sequences, the classical conjunction-to-disjunction reading, logical and structural rules, and derivations as trees of sequents.
- Gentzen's sequent calculi made these two contexts the objects transformed by logical and structural inference rules; a derivation is a tree whose nodes are sequents, not a single sequent enlarged into a proof.
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:41a8daaef9a3 · see in the full table