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 4Proof theoryBroader topic: Its explicit rules make proof structure and transformations especially visible.Formal systemBroader topic: It offers a structured alternative for presenting derivations and proof structure.Formal logicBroader topic: Its rule-based proofs make logical structure and assumptions explicit.DerivationBroader topic: Its derivations show how assumptions support conclusions through rule applications.