Afficher la notice abrégée

hal.structure.identifierUniversità degli Studi Roma Tre = Roma Tre University [ROMA TRE]
dc.contributor.authorABRUSCI, Michele
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorRETORÉ, Christian
dc.date.accessioned2024-04-15T09:47:13Z
dc.date.available2024-04-15T09:47:13Z
dc.date.conference2011-07-21
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198079
dc.description.abstractEnWe criticize the usual approach to generalized quantification and discuss a proof theoretical approach.
dc.language.isoen
dc.subject.enlogic
dc.subject.enmodel theory
dc.subject.enproof theory
dc.title.enQuantification and interaction
dc.typeCommunication dans un congrès
dc.subject.halSciences de l'Homme et Société/Philosophie
dc.subject.halMathématiques [math]/Logique [math.LO]
dc.subject.halSciences de l'Homme et Société/Linguistique
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.titleRebuilding logic and rethinking language in interaction terms (CLMPS workshop)
bordeaux.countryFR
bordeaux.peerReviewedoui
hal.identifierhal-00607676
hal.version1
hal.invitedoui
hal.proceedingsoui
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00607676v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=ABRUSCI,%20Michele&RETOR%C3%89,%20Christian&rft.genre=unknown


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée