Structures multi-contextuelles et logiques modales intuititionnistes et hybrides - Université de Lorraine Accéder directement au contenu
Thèse Année : 2010

Multi-contextual structures and intuitionistic modal and hybrid logics

Structures multi-contextuelles et logiques modales intuititionnistes et hybrides

Résumé

In computer science, formal logics are central for studying the representation and the treatment of knowledge. Indeed, they are widely used for modeling and verifying computer systems and their properties and also for formalizing different kinds of reasoning. In this context there exist many non-classical logics and among them modal logics play a key role. As classical modal logics have been deeply studied, we focus in this thesis on the intuitionistic modal logics and also on fuzzy hybrid logics by studying some important questions mainly from the viewpoint of proof theory . We define for these logics new proof systems, following natural deduction and sequent calculus formalisms, that are based on new multi-contextual structures generalizing the standard sequent structure
En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement. Dans ce contexte il existe un large spectre de logiques non-classiques parmi lesquelles les logiques modales jouent un rôle important. Alors que les logiques modales classiques ont été largement étudiées, nous nous focalisons dans cette thèse sur les logiques modales intuitionnistes et aussi hybrides floues en abordant un certain nombre de questions principalement du point de vue de la théorie de la démonstration. Nous proposons pour ces logiques de nouveaux systèmes de preuve, notamment suivant les formalismes de déduction naturelle et de calcul des séquents, qui sont fondés sur de nouvelles structures multi-contextuelles généralisant la structure standard de séquent
Fichier principal
Vignette du fichier
SCD_T_2010_0087_SALHI.pdf (972.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

tel-01746336 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01746336 , version 1

Citer

Yakoub Salhi. Structures multi-contextuelles et logiques modales intuititionnistes et hybrides. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10087⟩. ⟨tel-01746336⟩
61 Consultations
108 Téléchargements

Partager

Gmail Facebook X LinkedIn More