LISTE DES EXPOSÉS  06-07


-  21 septembre,  J-P. Marquis, Théorèmes de représentation et de dualité de Stone et logique propositionnelle.

-    5 octobre,     Eric Mc Sween,  Algèbres de Boole, algèbres de Heyting, et treillis.

-  19 octobre,      J.-P. Marquis,  Treillis distributifs, algèbres de Heyting, algèbres de Boole : la suite.


-   2  novembre,  J.-P. Marquis,  Treillis distributifs, algèbres de Heyting, algèbres de Boole : la suite (2).

-  16  novembre,  J.-P. Marquis,  Le théorème de représentation de Stone.

-  30  novembre,  Mathieu Bélanger, Le langage des catégories.

-  14 décembre,   Michel Serfati,  Treillis de Post, entre algèbres, logiques multivalentes et catégories.

-   janvier-avril,   Jean-Pierre Marquis dans le cadre de son cours Fondements des mathématiques.
 
-   1er février,      Roger Villemaire, Théorème de représentation des familles intervallaires.

-    18 avril,         Roger Villemaire,  La logique du fini.

-    26 avril,         Bruno Poizat,  La logique positive.