La règle d'échange : Logique linéaire multiplicative tressée

par Arnaud Fleury

Thèse de doctorat en Mathématiques. Logique et fondements de l'informatique

Sous la direction de Yves Lafont.

Soutenue en 1996

à Paris 7 .


  • Résumé

    Nous presentons ici un calcul des sequents et une structure de reseaux planaires pour la logique lineaire multiplicative classique et intuitionniste. L'echange est interprete comme echange tresse. Du point de vue semantique les reseaux sont des classes d'isotopie de graphes plonges dans r#3


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (85 p.)
  • Annexes : 29 REF.

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 : TS1996
  • 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 02279
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.