Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Sur certaines représentations topologiques de l'algèbre de Heyting
FR |
EN
| Auteur / Autrice : | Issam Nassim |
| Direction : | Daniel Ponasse |
| Type : | Thèse de doctorat |
| Discipline(s) : | Sciences |
| Date : | Soutenance en 1991 |
| Etablissement(s) : | Lyon 1 |
| Jury : | Examinateurs / Examinatrices : Daniel Ponasse |
Mots clés
FR
Mots clés contrôlés
Résumé
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)