Sequent Calculus

A formal deductive framework in which sequents are the primary syntactic units and proofs are constructed by applying structural and logical inference rules to sequents, often including a cut rule and possibly structural rules like weakening, contraction, and exchange.