Login / Signup
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