2002
Claudia Casadio, Joachim Lambek
Studia Logica 71:315-329
Kluwer Academic Publisher - Springer
Abstract
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
BibTeX