Definition:Sequent

Definition
A sequent is an expression in the form:


 * $\phi_1, \phi_2, \ldots, \phi_n \vdash \psi$

where $\phi_1, \phi_2, \ldots, \phi_n$ are premises (any number of them), and $\psi$ the conclusion (only one), of an argument.