Structuring Logic with Sequent Calculus
Structuring Logic with Sequent Calculus
Structuring Logic with Sequent Calculus
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
What Disjunction?<br />
We saw two possible rules for disjunction on the right:<br />
and<br />
Γ ⊢ A, B, ∆<br />
Γ ⊢ A ∨ B, ∆<br />
Γ ⊢ A, ∆<br />
Γ ⊢ A ∨ B, ∆<br />
Γ ⊢ B, ∆<br />
Γ ⊢ A ∨ B, ∆<br />
Which one shall we choose for intuitionistic logic?<br />
Alexis Saurin – ENS Paris & École Polytechnique & CMI <strong>Structuring</strong> <strong>Logic</strong> <strong>with</strong> <strong>Sequent</strong> <strong>Calculus</strong>