Sémantique algébrique des ressources pour la logique classique
Le thème général de cette thèse est l’exploitation de l’interaction entre la sémantique dénotationnelle et la syntaxe. Des sémantiques satisfaisantes ont été découvertes pour les preuves en logique intuitionniste et linéaire, mais dans le cas de la logique classique, la solution du problème est conn...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2011INPL075N/document |