Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version.

Ranald Clouston Jeremy E. Dawson Rajeev Goré Alwen Tiu

Published in: CoRR (2013)

Keyphrases

linear logic
cut elimination
sequent calculi
sequent calculus
proof theoretic
fixed point
desirable properties
logic programming
intuitionistic logic
logical framework
wide class
natural deduction
sufficient conditions
inference rules
proof search
probabilistic model