Interpolation in Linear Logic and Related Systems

05/08/2023
by   Wesley Fussner, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset