Dyadic Modalities and Lambek Calculus

Onderzoeksoutput: Hoofdstuk in boek/boekdeelHoofdstukWetenschappelijkpeer 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.
Originele taal-2Engels
TitelDiamonds and Defaults
SubtitelStudies in Pure and Applied Intensional Logic
RedacteurenMaarten de Rijke
Plaats van productieDordrecht
Aantal pagina's253
UitgaveSynthese Library
ISBN van elektronische versie978-94-015-8242-1
ISBN van geprinte versie978-90-481-4286-6
StatusGepubliceerd - 1993


Duik in de onderzoeksthema's van 'Dyadic Modalities and Lambek Calculus'. Samen vormen ze een unieke vingerafdruk.

Citeer dit