Deriving Theorems in Implicational Linear Logic, Declaratively
Description:
This article aims to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. It was presented at the 36th International Conference on Logic Programming (ICLP).
Date:
September 19, 2020
Creator:
Tarau, Paul & de Paiva, Valeria
Item Type:
Refine your search to only
Article
Partner:
UNT College of Engineering