BERNARDI, Raffaella; MOOT, Richard

Metadatos

Licencia de uso del documento

BERNARDI, Raffaella
Utrecht Institute of Linguistics OTS [UiL OTS]

MOOT, Richard
Utrecht Institute of Linguistics OTS [UiL OTS]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]

Idioma

Article de revue

Este ítem está publicado en

Logic Journal of the IGPL. 2003, vol. 11, n° 4, p. 419-434

Oxford University Press (OUP)

Resumen en inglés

In this paper we present a logical system able to compute the semantics of both declarative and interrogative sentences. Our proposed analysis takes place at both the sentential and at the discourse level. We use syntactic inference on the sentential level for declarative sentences, while the discourse level comes into play for our treatment of questions. Our formalization uses a type logic sensitive to both the syntactic and semantic properties of natural language. We will show how an account of the linguistic data follows naturally from the logical relations inherent in the type logic.< Leer menos

Metadatos

Compartir este ítem

Licencia de uso del documento

Generalized quantifiers in declarative and interrogative sentences

Idioma

Este ítem está publicado en

Resumen en inglés

URI

Orígen

Centros de investigación