Bouaziz, Rabah; Lounadi, Amor
(1975)
Le but de ce projet est l'étude de la logique ternaire et de ses applications, l'algèbre de post(ou algèbre modulo x³ =x) est une suite naturelle de l'algèbre de Boole( ou algèbre modulo x²=x).
L'algèbre de Boole permet ...