Login / Signup

Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2.

Olivier HermantJames Lipton
Published in: J. Log. Comput. (2010)
Keyphrases
  • cut elimination
  • linear logic
  • sequent calculus
  • proof theoretic
  • natural deduction
  • wide class
  • inference rules
  • sufficient conditions
  • logical framework
  • fixed point
  • modal logic
  • fuzzy set theory
  • proof search