Publications

• Generalized Quantifiers and Prenex Normal Forms
  36th European Summer School in Logic, Language and Information, ESSLLI 2025 Student Session
  Bochum, Germany, August 6, 2025

• A Proof-Theoretical Approach to Some Extensions of First Order Quantification
  Loïc Allègre, Ophélie Lacroix, Christian Retoré
  5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL@IJCAR 2024)
  Nancy, France, July 1, 2024

Talks

• Quantifiers: A History Between Logic, Mathematics and Linguistics
  Loïc Allègre, Christian Retoré
  26th Colloquium of the Inter-IREM Commission “Epistemology and History of Mathematics”
  Valenciennes, France, May 23, 2025