TY - THES ID - 146381912 TI - Algèbre de Boole avec relation de contact non symétrique AU - Massuir, Adeline AU - Hansoul, Georges AU - Gribomont, Pascal AU - Mathonet, Pierre AU - Rigo, Michel AU - Teheux, Bruno PY - 2016 PB - Liège Université de Liège (ULiège) DB - UniCat KW - Algèbre de Boole KW - Ensemble ordonné KW - Treillis KW - Physique, chimie, mathématiques & sciences de la terre > Mathématiques UR - https://www.unicat.be/uniCat?func=search&query=sysid:146381912 AB - Dans un premier temps, nous développons les bases de la théorie des treillis ainsi que des algèbres de Boole. Nous parlons notamment des filtres et de la dualité de Stone, que nous établissons également pour les multiopérateurs. Ensuite, nous démontrons le théorème de représentation des algèbres de Boole de contact et prouvons un théorème similaire dans les algèbres de Boole munies d'une relation vérifiant les axiomes de contact excepté la symétrie. ER -