Zhe Lin. Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free. In Denis Béchet, Alexander Ja. Dikovsky, editors, Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings. Volume 7351 of Lecture Notes in Computer Science, pages 161-172, Springer, 2012. [doi]
Abstract is missing.