The ILLTP Library for Intuitionistic Linear Logic
arXiv: Logic in Computer Science, pp. 118-132, 2019.
Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girardu0027s (propositional) intuitionistic linear logic...More
PPT (Upload PPT)