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.