Editorial Introduction
Classical Conservative Extensions of Lambek Calculus
A Tale of Four Grammars
Bicartesian Coherence
Classical Non-Associative Lambek Calculus
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus
Proof Nets for the Multimodal Lambek Calculus
A Rule-Extension of the Non-Associative Lambek Calculus