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

Jeremy E. Dawson, James Brotherston, Rajeev Gor

Browse the full CADE paper archive.