Sequent

In mathematical logic, a sequent is a general kind of conditional assertion, written as a list of antecedent formulas followed by a list of consequent formulas, with the meaning that if all the antecedent formulas are true then at least one of the consequent formulas is true. Sequents were introduced by Gerhard Gentzen to formulate his sequent calculus, presented in his 1934 papers Untersuchungen uber das logische Schliessen (Investigations into Logical Deduction), and they remain a foundational tool of proof theory and formal deductive systems. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/