Quantification and interaction

Michele Abrusci; Christian Retoré

hal-00607676, version 1

Quantification and interaction

Michele Abrusci ¹, Christian Retoré (, ) ^2, 3

Rebuilding logic and rethinking language in interaction terms (CLMPS workshop) (2011)

Abstract: We criticize the usual approach to generalized quantification and discuss a proof theoretical approach.

1: Università degli studi Roma III
Università degli studi Roma III
2: Laboratoire Bordelais de Recherche en Informatique (LaBRI)
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II
3: SIGNES (INRIA Bordeaux - Sud-Ouest)
INRIA – CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – Université Michel de Montaigne - Bordeaux III – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)

hal-00607676, version 1
http://hal.archives-ouvertes.fr/hal-00607676
oai:hal.archives-ouvertes.fr:hal-00607676
From: Christian Retore <>
Submitted on: Sunday, 10 July 2011 19:18:55
Updated on: Sunday, 10 July 2011 19:18:55

See detailed view

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="article"><head>Invited conferences</head>
<biblStruct type="article" xml:id="hal-00607676"><analytic>
<author><persName><forename>Michele</forename><surname>Abrusci</surname></persName>
<affiliation>
<orgName type="team">Università degli studi Roma III</orgName>
<country>IT</country>
<orgName type="institution">Università degli studi Roma III</orgName>
</affiliation>
</author>
<author><persName><forename>Christian</forename><surname>Retoré</surname></persName>
<affiliation>
<orgName type="laboratory">LaBRI</orgName>
<orgName type="team">Laboratoire Bordelais de Recherche en Informatique</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5800</orgName>
<orgName type="institution">Université Sciences et Technologies - Bordeaux I</orgName>
<orgName type="institution">École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName>
<orgName type="institution">Université Victor Segalen - Bordeaux II</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INRIA Bordeaux - Sud-Ouest</orgName>
<orgName type="team">SIGNES</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR5800</orgName>
<orgName type="institution">Université Sciences et Technologies - Bordeaux I</orgName>
<orgName type="institution">Université Michel de Montaigne - Bordeaux III</orgName>
<orgName type="institution">École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName>
</affiliation>
</author>
<title type="main" level="a">Quantification and interaction</title></analytic><monogr><meeting>Rebuilding logic and rethinking language in interaction terms (CLMPS workshop)</meeting><imprint><pubPlace><country>France</country></pubPlace><biblScope type="publicationDate">2011-07-21</biblScope></imprint></monogr><idno type="HALid">http://hal.archives-ouvertes.fr/hal-00607676</idno></biblStruct>
</listBibl>
</listBibl>