Login / Signup

A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs.

Andrew A. Adams
Published in: LMS J. Comput. Math. (2000)
Keyphrases
  • sequent calculus
  • cut elimination
  • inference rules
  • linear logic
  • natural deduction
  • modal logic
  • wide class
  • sufficient conditions
  • formal analysis
  • linear time temporal logic
  • proof search
  • classical logic