The ILLTP Library for Intuitionistic Linear Logic

arXiv: Logic in Computer Science, pp. 118-132, 2019.

Cited by: 0|Bibtex|Views1|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments