Towards a Theory of Proofs of Classical Logic
-
145
pages
-
English
-
Documents
-
2011
Écrit par
Denis Diderot
Publié par
chaeh
-
145
pages
-
English
-
Documents
-
2011
Description
Niveau: Supérieur
Towards a Theory of Proofs of Classical Logic Habilitation a diriger des recherches Universite Denis Diderot – Paris 7 Lutz Straßburger Jury : Richard Blute (rapporteur) Pierre-Louis Curien (rapporteur) Gilles Dowek Martin Hyland (rapporteur) Delia Kesner Christian Retore Alex Simpson (rapporteur) Soutenance : 7 janvier 2011
Towards a Theory of Proofs of Classical Logic Habilitation a diriger des recherches Universite Denis Diderot – Paris 7 Lutz Straßburger Jury : Richard Blute (rapporteur) Pierre-Louis Curien (rapporteur) Gilles Dowek Martin Hyland (rapporteur) Delia Kesner Christian Retore Alex Simpson (rapporteur) Soutenance : 7 janvier 2011
- arbre en resolution
- atomic flows
- normalizing derivations via atomic flows
- preuve courte
- star-autonomous categories
-
Publié par
-
Publié le
01 janvier 2011
-
Langue
English
-
Poids de l'ouvrage
1 Mo
Ajouté à mes notifications
Vous serez informé des prochaines publications.