Login / Signup
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.
Tim Lyon
Alwen Tiu
Rajeev Goré
Ranald Clouston
Published in:
CoRR (2019)
Keyphrases
</>
intuitionistic logic
linear logic
proof theoretic
sequent calculus
fixed point
logic programming
cut elimination
natural language
logical framework
desirable properties
logic programs
natural deduction