#logical-connectives

#logical-connectives

In the classical sequent calculus, both the premises and the conclusion of a derivation rule consist of sequents Γ ⊢ Δ, where Γ and Δ are multisets of formulas.