Algèbre Modale

concept

structure algébrique constituée d'une algèbre de Boole muni d'un opérateur unaire

Propriétés

Mots liés