MathProblemsBank

6.1.2.1 Sequent calculus

Problem: Prove the admissibility of the rule. \[ \frac{\Gamma, A \vdash C, \Gamma, B \vdash C}{\Gamma, A \vee B \vdash C} . \]

-> Sequent calculus