Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic.

Ranald Clouston Jeremy E. Dawson Rajeev Goré Alwen Tiu

Published in: CSL (2013)

Keyphrases

linear logic
cut elimination
sequent calculi
sequent calculus
fixed point
proof theoretic
logic programming
inference rules
logical framework
natural deduction
wide class
desirable properties
proof search
intuitionistic logic
machine learning
modal logic
logic programs
artificial intelligence