Dyadic Modalities and Lambek Calculus

Dirk Roorda

doi:10.1007/978-94-015-8242-1_8

Dyadic Modalities and Lambek Calculus

Dirk Roorda

DANS-KNAW

Onderzoeksoutput: Hoofdstuk in boek/boekdeel › Hoofdstuk › Wetenschappelijk › peer review

Samenvatting

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-2	Engels
Titel	Diamonds and Defaults
Subtitel	Studies in Pure and Applied Intensional Logic
Redacteuren	Maarten de Rijke
Plaats van productie	Dordrecht
Uitgeverij	Springer
Pagina's	215
Aantal pagina's	253
Volume	229
Uitgave	Synthese Library
ISBN van elektronische versie	978-94-015-8242-1
ISBN van geprinte versie	978-90-481-4286-6
DOI's	https://doi.org/10.1007/978-94-015-8242-1_8
Status	Gepubliceerd - 1993

Toegang tot document

10.1007/978-94-015-8242-1_8Licentie: CC BY

Citeer dit

@inbook{9490a078ea2a402eb805e361fe3bc92a,

title = "Dyadic Modalities and Lambek Calculus",

abstract = "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.",

author = "Dirk Roorda",

year = "1993",

doi = "10.1007/978-94-015-8242-1_8",

language = "English",

isbn = "978-90-481-4286-6",

volume = "229",

pages = "215",

editor = "{de Rijke}, Maarten",

booktitle = "Diamonds and Defaults",

publisher = "Springer",

address = "Germany",

edition = "Synthese Library",

}

TY - CHAP

T1 - Dyadic Modalities and Lambek Calculus

AU - Roorda, Dirk

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

U2 - 10.1007/978-94-015-8242-1_8

DO - 10.1007/978-94-015-8242-1_8

M3 - Chapter

SN - 978-90-481-4286-6

VL - 229

SP - 215

BT - Diamonds and Defaults

A2 - de Rijke, Maarten

PB - Springer

CY - Dordrecht

ER -

Dyadic Modalities and Lambek Calculus

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit