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


  • 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 ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1994
  • 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 00176
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.