Login / Signup
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic.
Jeremy E. Dawson
Ranald Clouston
Rajeev Goré
Alwen Tiu
Published in:
IFIP TCS (2014)
Keyphrases
</>
sequent calculi
cut elimination
linear logic
sequent calculus
proof theoretic
logic programming
fixed point
intuitionistic logic
desirable properties
logical framework
proof search
natural deduction
machine learning
wide class