Proof by Cases/Sequent Form

Theorem
The rule of or-elimination can be symbolised by the sequent:
 * $p \lor q, \left({p \vdash r}\right), \left({q \vdash r}\right) \vdash r$