Deriving Theorems in Implicational Linear Logic, Declaratively.

Paul Tarau Valeria de Paiva

Published in: ICLP Technical Communications (2020)

Keyphrases

linear logic
sequent calculus
cut elimination
proof search
logic programming
proof theoretic
logical framework
fixed point
intuitionistic logic
inference rules
desirable properties
knowledge base
pairwise
query language
natural deduction