Right Sequent

sequent-calculus

Definition

Right Sequent

In sequent calculus, the right sequent rule explains how to build this connective when it’s your goal (on the right of $⊢$).

Example: (from Multiplicative Conjunction)

$$\frac{\Gamma ⊢A\Delta ⊢B}{\Gamma ,\Delta ⊢A\otimes B}(\otimes R)$$