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