thesis
Sur certaines représentations topologiques de l'algèbre de Heyting
Institution:
Lyon 1Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Dans ce travail, on va appliquer le theoreme de priestley pour trouver les theoremes des representations pour certaines algebres distributives (algebre de brouwer, algebre semi-booleenne, algebre de heyting fortement monadique, algebre de heyting topologique)