Login / Signup

A Systematic Approach to Canonicity in the Classical Sequent Calculus.

Kaustuv ChaudhuriStefan HetzlDale Miller
Published in: CSL (2012)
Keyphrases
  • sequent calculus
  • cut elimination
  • inference rules
  • linear logic
  • natural deduction
  • modal logic
  • first order logic
  • desirable properties