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.
«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.
Roland Fraïssé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» (no145), (1reéd. 1986), 451p. (ISBN0-444-50542-3, SUDOC055153372)
↑Roland Fraïssé et Nik Lygeros, Petits posets: dénombrement, représentabilité par cercles et «compenseurs», CRAS Sér. I Math. 313 (1991), no. 7, 417-420 [lire en ligne]
↑Cours de logique mathématique, Paris, Gauthier-Villars Éditeur, 3 vol., 1971-1975; introductions des deux premiers volumes
↑C'est le terme employé par l'auteur dans sa préface à la nouvelle édition.
