2000 character limit reached
Interpolation in Linear Logic and Related Systems (2305.05051v2)
Published 8 May 2023 in math.LO and cs.LO
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. We also exhibit continuum-many axiomatic extensions of each of these logics without the deductive interpolation property.