Achim Jung
IdRefMots clés
FR |
EN
Dualité de Stone
Théorie des langages
Algèbre profinie
Monade de codensité
Interpolation uniforme
Théorème de l’application ouverte
Pretopos
Quantificateurs (logique mathématique)
Logique intuitionniste
Espaces compacts
Semi-anneaux (mathématiques)
Informations incomplètes
Informations incohérentes
Logiques modales
Logique épistémique dynamique
Modèle de voisinage
Logique de contingence
Co-algèbre
Bisimulation
Logique informatique