Etude de la normalisation du calcul des sequents classique a travers la logique lineaire

par Jean-Baptiste Joinet

Thèse de doctorat en Logique mathématique

Sous la direction de Jean-Louis Krivine.

Soutenue en 1993

à Paris 7 .

    mots clés mots clés


  • Résumé

    Il s'agit d'une contribution a l'etude des problemes calculatoires de la logique classique, avec pour objet central la normalisation des calculs des sequents intuitionniste et, surtout, classique, pour outil principal la logique lineaire. La premiere partie presente des resultats sur la correction et la normalisation des reseaux de preuves. La seconde partie expose l'engendrement de deux systemes constructifs de calcul des sequents classique, a partir de plongements uniformes du calcul classique dans la logique lineaire. Elle s'acheve par la construction de plongements (preuve a preuve) minima de la logique classique dans la logique lineaire

  • Titre traduit

    An analysis of classical sequent calculus normalization through linear logic


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (180 p.)
  • Annexes : Bibliogr. p. 176-177. Index p. 178-180

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1993
  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 03128

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1993-JOI
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.