| Etablissement | Université de Boumerdès - M'hamed Bougara |
| Affiliation | Département d'Informatique |
| Auteur | BADJA, Mounir |
| Directeur de thèse | MEZGHICHE Mohamed (Professeur) |
| Filière | Informatique |
| Diplôme | Magister |
| Titre | Elimination des coupures et consistance dans les logiques d'ordre supérieur et le systéme E1 |
| Mots clés | cut émination , higher ordes logic, counsistence de calcul E1 calcules |
| Résumé | La consistance de systéme de logique d'orde supérieur est l'une des propriété principale qu'on s'atache à démonter la démonstratition d'une telle propriéte à toujours poser quelque dificulté , la méthode qui consiste à utiliser l'élimination des couures des régles dinference contitue une approche qui permet de sumenter d'ellimination des coupes dans les systémes d'orde supérieur et les caractériser particulierement dans le E1 calcul |
| Statut | Vérifié |