A Tale of Four Grammars


Claudia Casadio, Joachim Lambek

Studia Logica 71:315-329

Kluwer Academic Publisher - Springer


In this paper we consider the relation existing between four deductive systems that have been called "categorial grammars" and have relevant connections with linguistic investigation: the syntactic calculus, bilinear logic, compact biliner logic and Curry's semantic calculus.

Keywords: categorial grammar, linear logic, pregroup, adjoint, wh-questions