Cut Elimination in a Class of Sequent Calculi for Pure Type Systems.

Francisco Gutiérrez Blas C. Ruiz

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

cut elimination
sequent calculi
sequent calculus
linear logic
inference rules
knowledge representation
artificial intelligence
high dimensional
dimensionality reduction
temporal reasoning
wide class
natural deduction