Skip to Main content Skip to Navigation
Theses

Structures multi-contextuelles et logiques modales intuititionnistes et hybrides

Abstract : 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
Document type :
Theses
Complete list of metadatas

Cited literature [121 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01746336
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 10:31:34 AM
Last modification on : Tuesday, April 24, 2018 - 1:53:20 PM
Long-term archiving on: : Thursday, September 13, 2018 - 12:10:48 PM

File

SCD_T_2010_0087_SALHI.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01746336, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

54

Files downloads

64