Sequent

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A syntactic object of the form Γ ⇒ Δ (where Γ and Δ are, typically, finite multisets or sequences of formulas) expressing that the conjunction of formulas in Γ entails the disjunction of formulas in Δ within a sequent-style proof system.