The Lambek calculus is a logic on the one hand, and a grammar on the other. The system is studied in different disciplines, having their own interests. The logician studies relations with other systems, models in general, cut elimination etc. The linguist is interested in parsing properties, expressive power, and models that are useful for (natural) language interpretation. The latter group of questions is less basic; some of them presuppose answers to the logical questions. But there is a converse direction: the linguist may redirect the eye of the logician into other aspects of the formal sytems he deals with. For example, where a logician is content with decidability, the linguist would like to know the complexity, or any measure of feasibility that indicates how useful the proposed systems are for the purposes he has in mind.
|Title of host publication||Diamonds and Defaults|
|Subtitle of host publication||Studies in Pure and Applied Intensional Logic|
|Editors||Maarten de Rijke|
|Place of Publication||Dordrecht|
|Number of pages||253|
|Publication status||Published - 1993|