Noun
sequent calculus (plural sequent calculi) (mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.