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.
LJ is constructive but non-symmetric.<br />
Alexis Saurin – ENS Paris & École Polytechnique & CMI <strong>Structuring</strong> <strong>Logic</strong> <strong>with</strong> <strong>Sequent</strong> <strong>Calculus</strong>