Institut de Recherche sur l'Enseignement des Mathématiques de Paris

Cet exposé est consacré à décrire la constitution moderne (finale..), achevée dans les années 1960-1970, d'une structure ordonnée remarquable, les algèbres de Post. Cette extension multivalente "naturelle" des algèbres de Boole se constitua par les travaux de divers chercheurs, en particulier Epstein (le pionnier "latticiel")) et Rousseau (le catégoricien). Elle mobilisa, successivement, la théorie des treillis, puis celle des catégories.