Recherche en Logique Mathématique [Research in Mathematical Loqic]
Diverses théories des ensembles (ensembles non-bien fondés,positifs,partiels,paradoxaux,...,le système NF de Quine), la théorie des modèles (modèles topologiques,modèles de termes,...),et des logiques non-classiques (logiques paraconsistantes,paracomplètes,etc...). [Several set theories (non-well-founded sets,positive sets,partial sets,paradoxical sets,...,Quine's NF),model theory (topological models,term models,...),and non-classical logics (paraconsistent,paracomplete,etc...)]