Login / Signup

Cut elimination for a simple formulation of epsilon calculus.

Grigori Mints
Published in: Ann. Pure Appl. Log. (2008)
Keyphrases
  • cut elimination
  • sequent calculus
  • linear logic
  • inference rules
  • natural deduction
  • proof theoretic
  • linear time temporal logic
  • machine learning
  • feature space
  • proof search