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