Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.

Tim Lyon Alwen Tiu Rajeev Goré Ranald Clouston

Published in: CSL (2020)

Keyphrases

intuitionistic logic
linear logic
sequent calculus
proof theoretic

fixed point
cut elimination
logic programming
natural language

logical framework
desirable properties
relational databases

inference rules
classical logic
natural deduction