Login / Signup
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