Unification et logique du second ordre

par GILLES AMIOT

Thèse de doctorat en Mathématiques

Sous la direction de J.-P. RESSAYRE.

Soutenue en 1994

à Paris 7 .

    mots clés mots clés


  • Résumé

    Cette these est une etude de l'unification et de ses rapports et liens avec la theorie de la demonstration. Premierement, nous regardons en details les problemes de decision pour l'unification des termes du second ordre en situant avec precision la frontiere qui separe la decidabilite de l'indecidabilite. Nous appliquons alors ces resultats au cas des predicats du second ordre et obtenons un resultat d'indecidabilite. Deuxiemement, nous montrons les liens existants entre la e-unification rigide et la logique lineaire du second ordre par un codage direct et simple. Finalement, nous appliquons ces resultats au cas de la logique lineaire multiplicative (et multiplicative-additive) du second ordre avec quantification du premier ordre pour en obtenir l'indecidabilite des que le langage contient une constante de fonction d'arite au moins egale a deux

  • Titre traduit

    Second order logic and unification


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 85 P.
  • Annexes : 29 REF.

Où se trouve cette thèse\u00a0?

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

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1994PA077003
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.