Quantification and interaction
RETORÉ, Christian
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
RETORÉ, Christian
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
< Réduire
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Langue
en
Communication dans un congrès
Ce document a été publié dans
Rebuilding logic and rethinking language in interaction terms (CLMPS workshop), 2011-07-21.
Résumé en anglais
We criticize the usual approach to generalized quantification and discuss a proof theoretical approach.
We criticize the usual approach to generalized quantification and discuss a proof theoretical approach.< Réduire
Mots clés en anglais
logic
model theory
proof theory
Origine
Importé de halUnités de recherche