Login / Signup

The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic.

Thomas RathsJens OttenChristoph Kreitz
Published in: TABLEAUX (2005)
Keyphrases
  • intuitionistic logic
  • automated theorem provers
  • computer algebra
  • linear logic
  • classical logic
  • natural deduction
  • proof theoretic
  • normal form
  • general purpose
  • constraint satisfaction problems
  • model checker