Reseaux et sequents ordonnes

par Christian Retoré

Thèse de doctorat en Mathématiques

Sous la direction de Jean-Yves Girard.

Soutenue en 1993

à Paris 7 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Nous etudions les reseaux de preuves de la logique lineaire multiplicative, tout d'abord en presence de la regle de melange et des elements neutres, puis pour un calcul ou la conclusion d'une preuve est un multi-ensemble ordonne de formules, ce dernier etant concu comme un modele du parallelisme. Le premier calcul satisfait le theoreme de sequentialisation: tout reseau correct correspond a une preuve du calcul des sequents. C'est la consequence d'un resultat sur la connexite d'une generalisation des graphes ou une arete est un graphe biparti-complet. On donne un calcul en reseaux pour les connecteurs n-aires definis par des ordres, dont le precede, binaire, associatif, non-commutatif et autodual. Le critere de correction est: il n'y a pas de circuit utilisant au plus une arete de chaque lien par ou precede. On sait en calculer la semantique coherente, il existe un calcul en sequents correspondant et les connecteurs definissables au moyen de par et precede sont caracterises par un theoreme sur les ordres finis

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (150 p.)
  • Annexes : Bibliogr., 15 réf.. Index

Où se trouve cette thèse ?

  • 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 : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 05019
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : RETORE r
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.