The Intuitionistic Logic Theorem Proving (ILTP) library provides a platform for testing and benchmarking automated theorem proving (ATP) systems for first-order and propositional intuitionistic logic. It includes two problem collections for first-order and propositional intuitionistic ATP systems and tools for converting the problems into the input syntax of some existing intuitionistic ATP systems. It also includes information about currently available ATP systems for intuitionistic logic and their performance results on the problems in the ILTP library.

References in zbMATH (referenced in 16 articles )

Showing results 1 to 16 of 16.
Sorted by year (citations)

  1. Stump, Aaron; Sutcliffe, Geoff; Tinelli, Cesare: StarExec: a cross-community infrastructure for logic solving (2014)
  2. Raths, Thomas; Otten, Jens: The QMLTP problem library for first-order modal logics (2012)
  3. Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido: fCube: an efficient prover for intuitionistic propositional logic (2010)
  4. Fiorino, Guido: Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (2010)
  5. Otten, Jens: Restricting backtracking in connection calculi (2010)
  6. Sutcliffe, Geoff; Benzmüller, Christoph: Automated reasoning in higher-order logic using the TPTP THF infrastructure (2010)
  7. Burel, Guillaume: Automating theories in intuitionistic logic (2009)
  8. McLaughlin, Sean; Pfenning, Frank: Efficient intuitionistic theorem proving with the polarized inverse method (2009)
  9. Sutcliffe, Geoff: The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (2009)
  10. Sutcliffe, Geoff; Benzmüller, Christoph; Brown, Chad E.; Theiss, Frank: Progress in the development of automated theorem proving for higher-order logic (2009)
  11. Avellone, Alessandro; Fiorino, Guido; Moscato, Ugo: Optimization techniques for propositional intuitionistic logic and their implementation (2008)
  12. McLaughlin, Sean; Pfenning, Frank: Imogen: Focusing the polarized inverse method for intuitionistic propositional logic (2008)
  13. Avellone, Alessandro; Fiorino, Guido; Moscato, Ugo: Improvements to the tableau prover PITP (2007)
  14. Heilala, Samuli; Pientka, Brigitte: Bidirectional decision procedures for the intuitionistic propositional modal logic IS4 (2007)
  15. Raths, Thomas; Otten, Jens; Kreitz, Christoph: The ILTP problem library for intuitionistic logic (2007)
  16. Raths, Thomas; Otten, Jens; Kreitz, Christoph: The ILTP library: Benchmarking automated theorem provers for intuitionistic logic (2005)