Non-associative Lambek calculus with modalities: interpolation, complexity and FEP

Zhe Lin. Non-associative Lambek calculus with modalities: interpolation, complexity and FEP. Logic Journal of the IGPL, 22(3):494-512, 2014. [doi]

Abstract

Abstract is missing.