The
Montagovian Generative Lexicon International Workshop on
Type-Theoretical Semantics (IWoTTS), West Anhui University and
Xiangtan University, June 25-26, 2022.
Une histoire de la logique mathématique, de la philosophie à
l'informatique. Journée mondiale de la logique, 14 janvier 2020.
cf exposé du 14 janvier 2019.
Chaque/tout: une différence en termes de justifications
Journées Quanti, Montpellier 8 décembre 2017 (with Alda
Mari, cf. infra slides incohérence 2015)
The Montagovian generative lexicon, a typed compositional
framework for lexical semantics. Automated semantic analysis
& acquisition. Workshop on systematic polysemy and
complex/dot types Toulouse, 18 avril 2014.
De la logique du second ordre comme langage d'assemblage pour la
sémantique et pour la pragmatique lexicale: application à quelques
phénomènes linguistiques: glissements de sens en contexte,
quantification généralisée, pluriels,... Voir les deux exposés
ci-dessous. Exposé au CEPERC,
Aix-en-Provence, le 8 décembre 2011.
Quantification
and Interaction. Vito Michele Abrusci and Christian Retore
Affiliated LOCI Symposium 14th Congress of Logic, Methodology and
Philosophy of Sciences, Nancy 19-26 july [Shorter version:
Quantification in ordinary language: from a critic of
set-theoretic approaches to a proof-theoretic proposal Session C2
same congress: Slides
- 2 page abstract]
Habilitation à Diriger
des Recherches: Logique linéaire et syntaxe des langues soutenue
le 4 janvier 2002 (Président: A. Dikovsky , Rapporteurs: G.
Huet, J. Lambek, M. Moortgat, Examinateurs: C. Gardent, G. Kahn,
J.-X. Rampon, O. Ridoux)Version d'avril 2002 PDF - A4 paper
ou PDF - letter
paper Slides from the defense for viewing or
for printing(thanks
to Michael Moortgat for providing the pdflatex package)