sequent calculus

Noun

 * 1)  A set of inference rules for deriving true sequents from other true sequents.