Rodrigo Nicolau Almeida

Explorer la sémantique coalgébrique pour la logique modale intuitionniste en utilisant des posets image-finis.

Explore le rôle des principes de maximalité en logique et leurs liens avec le choix et la structure.