Curry-Howard for Sequent Calculus at Last!.

José Espírito Santo

Published in: TLCA (2015)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
modal logic
linear time temporal logic
first order logic
classical logic
general purpose
sufficient conditions
fixed point
theorem proving