The ILLTP Library for Intuitionistic Linear Logic.

Carlos Olarte Valeria de Paiva Elaine Pimentel Giselle Reis

Published in: Linearity-TLLA@FLoC (2018)

Keyphrases

linear logic
fixed point
proof theoretic
logic programming
logical framework
cut elimination
intuitionistic logic
sequent calculus
proof search
desirable properties
inference rules
dynamic programming
machine learning