Algèbres des logiques modales et intuitionistes : procédures de décision et formes canoniques / par Annie Foret ; sous la direction de Gérard Huet

Auteur principal : Foret, Annie, AuteurAuteur secondaire : Huet, Gérard, 1947-, Directeur de thèseAuteur secondaire collectivité : Université Paris Diderot - Paris 7, Etablissement de soutenanceType de document : ThèseLangue : français.Pays: France.Éditeur : [S.l.] : [s.n.], 1990Description : 1 vol. (XII-163 p.) ; 30 cmISBN: 2726106714.Bibliographie : Bibliogr. en fin de volume.Sujet MSC : 03Bxx, Mathematical logic and foundations - General logic
03G25, Algebraic logic, Other algebras related to logic
68T27, Computer science, Logic in artificial intelligence
97-02, Research exposition (monographs, survey articles) pertaining to mathematics education
Note de thèse: Thèse de doctorat, informatique, 1990, Paris 7 Item type: Thèse
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle S
Thèses FOR (Browse shelf(Opens below)) Available 10461-01

Bibliogr. en fin de volume

Thèse de doctorat informatique 1990 Paris 7

L'objet de cette thèse est l'étude des logiques modales et intuitionnistes, dont les structures algébriques, contrairement à la logique classique, sont encore mal connues. Ces deux familles de logique sont particulièrement utilisées aujourd'hui en informatique, en théorie de la programmation et en intelligence artificielle. Les logiques modales et les logiques intuitionnistes ont des liens étroits que nous rappelons et utilisons dans cette étude. Cette thèse comprend trois parties. La première partie donne une présentation uniforme de ces structures logiques, sous les aspects syntaxiques puis sémantiques ― avec la notion centrale des modèles de Kripke. La deuxième partie développe les procédures de décision connues, avec une étude particulière du cas intuitionniste. La dernière partie présente les résultats nouveaux obtenus en partie à l'aide des outils de réécriture: ceci fournit essentiellement de nouvelles procédures de décision et des caractérisations de formes canoniques dans un formalisme uniforme

There are no comments on this title.

to post a comment.