Fiche du document
Auteurs
Date
21 juillet 2011
Discipline
Type de document
Périmètre
Langue
Identifiants
- handle: 10670/1.x4oifj
- hal: hal-00607676
Source
Collection
Organisation
Mots-clés
logic model theory proof theorySujets proches
Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, Deductive ProofCiter ce document
Michele Abrusci et al., « Quantification and interaction », HAL-SHS : linguistique, ID : 10670/1.x4oifj
Métriques
Partage / Export
Résumé
We criticize the usual approach to generalized quantification and discuss a proof theoretical approach.