Sémantique cohérente des exponentielles : de la logique linéaire à la logique classique

par Myriam Quatrini

Thèse de doctorat en Sciences et techniques communes

Sous la direction de G. BLANC.

Soutenue en 1995

à Aix-Marseille 2 .

    mots clés mots clés


  • Résumé

    L'analyse de l'interpretation des regles structurelles, dans le cadre d'une semantique coherente de la logique lineaire, donne lieu a une caracterisation categorique de la structure des espaces coherents associes aux formules exponentielles. La structure la plus generale est celle de precomonoide, on retrouve les solutions deja connues dans la litterature comme cas particuliers. Parmi ces dernieres, la structure d'espace de correlation a ete utilisee par j-y girard dans la perspective d'une constructivisation de la logique classique: les espaces de correlations constituent une semantique denotationnelle du calcul des sequents lc. Les structures plus generale peuvent etre utilisees pour l'interpretation des preuves classiques formalisees dans un calcul lcg, plus contraint que lc. D'autre part, une extension au second ordre de lc et de sa semantique denotationnelle est realisee, en utilisant la theorie categorique des limites filtrantes. Enfin, nous exhibons un contre-exemple a la conjecture de completude enoncee pour la semantique denotationnelle de lc

  • Titre traduit

    Coherence semantics of exponentials: from linear logic to classical logic


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 101 P.
  • Annexes : 12 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.