Dyadic Modalities and Lambek Calculus

Research output: Chapter in book/volumeChapterScientificpeer-review


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.
Original languageEnglish
Title of host publicationDiamonds and Defaults
Subtitle of host publicationStudies in Pure and Applied Intensional Logic
EditorsMaarten de Rijke
Place of PublicationDordrecht
Number of pages253
EditionSynthese Library
ISBN (Electronic)978-94-015-8242-1
ISBN (Print)978-90-481-4286-6
Publication statusPublished - 1993


Dive into the research topics of 'Dyadic Modalities and Lambek Calculus'. Together they form a unique fingerprint.

Cite this