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]
< Reduce
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Language
en
Communication dans un congrès
This item was published in
Rebuilding logic and rethinking language in interaction terms (CLMPS workshop), 2011-07-21.
English Abstract
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.Read less <
English Keywords
logic
model theory
proof theory
Origin
Hal imported