Umberto Rivieccio

Explore les algèbres de Nelson, les treillis résidués et les ensembles rugueux dans les systèmes logiques.