Logique pseudo-consistante

par JEAN-PHILIPPE JACQUET

Thèse de doctorat en Sciences appliquées

Sous la direction de M. DE GLAS.

Soutenue en 1995

à Paris 6 .

    mots clés mots clés


  • Résumé

    Nous proposons une logique, la logique pseudo-consistante, permettant la manipulation formelle de donnees contradictoires. Cette logique possede une contrepartie algebrique, les pc-algebres, et deux semantiques (une semantique locale pouvant etre interpretee de deux facon differentes et une semantique de type topologique). Nous montrons que la logique pseudo-consistante, en raison de son approche de la verite, est differente des logiques paraconsistantes. Nous decrivons de quelles facons elle peut-etre utilisee, notamment pour resoudre certains problemes lies a la categorisation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 203 P.
  • Annexes : 73 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1995
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.