Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi.

Jeremy E. Dawson James Brotherston Rajeev Goré

Published in: IJCAR (2016)

Keyphrases

propositional calculus
sequent calculi
cut elimination
expressive power
real time
modal logic
inference rules
image interpolation
parallel machines
linear interpolation