Interpolation in Linear Logic and Related Systems

Publication date 8 May 2023

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Equational classes, universal algebra in model theory (03C05) Interpolation, preservation, definability (03C40)

Abstract: We prove that there are continuum-many axiomatic extensions of the full Lambek calculus with exchange that have the deductive interpolation property. Further, we extend this result to both classical and intuitionistic linear logic as well as their multiplicative-additive fragments. None of the logics we exhibit have the Craig interpolation property, but we show that they all enjoy a guarded form of Craig interpolation.

This page was built for publication: Interpolation in Linear Logic and Related Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6435839)