KnowraSequent calculusLinked fromLinked fromThe 28 pages that link to Sequent calculus, each with the reason it gives.All 28Broader topic 4Related 19Narrower topic 1Compared with 4Cut-elimination theoremNarrower topic: Cut elimination is most commonly formulated as a transformation of sequent-calculus derivations.