Login / Signup

A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.

Francisco GutiérrezBlas C. Ruiz
Published in: LOPSTR (2002)
Keyphrases
  • cut elimination
  • sequent calculus
  • inference rules
  • linear logic
  • relational databases
  • natural deduction
  • sufficient conditions
  • wide class
  • association rules
  • modal logic
  • linear time temporal logic