Preuves par induction dans le calcul de superposition
Nous nous intéressons à des formules de la logique du premier ordre où certaines constantes sont interprétées dans un domaine défini inductivement, comme les entiers. Le problème de la validité n'est pas semi-décidable pour ces formules. Le but de cette thèse est donc d'accroître les capac...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2014GRENM049/document |