3 search results - page 1 / 1 » The ILTP Problem Library for Intuitionistic Logic |
TABLEAUX
2005
Springer
15 years 2 months ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
52
Voted
JAR
2007
14 years 9 months ago
2007
CADE
2009
Springer
15 years 10 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...