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