Professeur à l'université de Provence où il a formé toute une génération de logiciens[4], parmi lesquelles Étienne Grandjean, lui-même très actif à l'université de Caen.
Sa présentation de la logique donne la priorité à la sémantique : selon lui, l'avancement de la logique se traduit par une absorption croissante de la syntaxe par la sémantique[6]. Ainsi, la sémantique serait à la syntaxe ce que la théorie des corps est aux méthodes ponctuelles de résolution des équations algébriques.
Publications
(Sélection)
« Sur une nouvelle classification des systèmes de relations », CRAS, vol. 230, , p. 1022-1024 (lire en ligne).
« Sur quelques classifications des systèmes de relations », Publications Scientifiques de l'Université d'Alger série A1, , p. 35-182 — Thèse de doctorat, Université de Paris, 1953.
Cours de logique mathématique, Relation, Formule logique, Compacité, Complétude, Paris, Gauthier-Villars, en un tome , 1967. Seconde édition, « élargie considérablement »[7], en trois tomes, 1971-1975 :
Tome 1 : Relation et formule logique, 1971, 197 pages.
Tome 2 : Théorie des modèles, 177 pages.
Tome 3 : Récursivité et constructibilité, 1972, 1975, 137 pages.
Traduit en anglais et édité par David Louvish sous le titre Course of Mathematical Logic, 2 vol., Dordrecht, Reidel, 1973-1974
(en) Roland Fraïssé (trad. P. Clote), Theory of relations, Amsterdam, Elsevier, coll. « Studies in logic and the foundations of mathematics » (no 145), (1re éd. 1986), 451 p. (ISBN0-444-50542-3, SUDOC055153372)
