Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [121 references]  Display  Hide  Download
Contributor : Thèses UL Connect in order to contact the contributor
Submitted on : Thursday, March 29, 2018 - 10:31:34 AM
Last modification on : Saturday, October 16, 2021 - 11:26:08 AM
Long-term archiving on: : Thursday, September 13, 2018 - 12:10:48 PM


Files produced by the author(s)


  • HAL Id : tel-01746336, version 1



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⟩



Record views


Files downloads