Patrick Blackburn
IdRefMots clés
FR
Logique mathématique
Logiques hybrides
Logique modale
Théorèmes -- Démonstration automatique
Expressivité
Décidabilité
Axiomatisation
Interpolation
Construction Sémantique
Nessie
Sémantique
Lambda-calcul
Inférence
Théorie des types
Raisonnement automatique
Traductions en logique du premier ordre
Résolution directe
Méthodes de décision
Modèles coinductifs
Formes normales