Login / Signup

Indexed systems of sequents and cut-elimination.

Grigori Mints
Published in: J. Philos. Log. (1997)
Keyphrases
  • linear logic
  • sequent calculus
  • cut elimination
  • inference rules
  • artificial intelligence
  • proof theoretic