Thumbnail
Metadatos
Mostrar el registro completo del ítem
Licencia de uso del documento

Quantification and interaction

ABRUSCI, Michele
Università degli Studi Roma Tre = Roma Tre University [ROMA TRE]
RETORÉ, Christian
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Idioma
en
Communication dans un congrès
Este ítem está publicado en
Rebuilding logic and rethinking language in interaction terms (CLMPS workshop), 2011-07-21.
Resumen en inglés
We criticize the usual approach to generalized quantification and discuss a proof theoretical approach.
Palabras clave en inglés
logic
model theory
proof theory
URI
https://oskar-bordeaux.fr/handle/20.500.12278/198079
Orígen
Importado de Hal
Centros de investigación