Quantification and interaction
hal.structure.identifier | Università degli Studi Roma Tre = Roma Tre University [ROMA TRE] | |
dc.contributor.author | ABRUSCI, Michele | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
dc.contributor.author | RETORÉ, Christian | |
dc.date.accessioned | 2024-04-15T09:47:13Z | |
dc.date.available | 2024-04-15T09:47:13Z | |
dc.date.conference | 2011-07-21 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198079 | |
dc.description.abstractEn | We criticize the usual approach to generalized quantification and discuss a proof theoretical approach. | |
dc.language.iso | en | |
dc.subject.en | logic | |
dc.subject.en | model theory | |
dc.subject.en | proof theory | |
dc.title.en | Quantification and interaction | |
dc.type | Communication dans un congrès | |
dc.subject.hal | Sciences de l'Homme et Société/Philosophie | |
dc.subject.hal | Mathématiques [math]/Logique [math.LO] | |
dc.subject.hal | Sciences de l'Homme et Société/Linguistique | |
bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.institution | CNRS | |
bordeaux.conference.title | Rebuilding logic and rethinking language in interaction terms (CLMPS workshop) | |
bordeaux.country | FR | |
bordeaux.peerReviewed | oui | |
hal.identifier | hal-00607676 | |
hal.version | 1 | |
hal.invited | oui | |
hal.proceedings | oui | |
hal.popular | non | |
hal.audience | Internationale | |
hal.origin.link | https://hal.archives-ouvertes.fr//hal-00607676v1 | |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=ABRUSCI,%20Michele&RETOR%C3%89,%20Christian&rft.genre=unknown |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |