Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Structures multi-contextuelles et logiques modales intuititionnistes et hybrides
View through CrossRef
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
Title: Structures multi-contextuelles et logiques modales intuititionnistes et hybrides
Description:
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.
Related Results
Decision procedures for modal logics of actions, resources and concurrency
Decision procedures for modal logics of actions, resources and concurrency
Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence
Les concepts d'action et de ressource sont omniprésents en informatique....
Characterizing the interplay between DNA : RNA hybrids and genome stability
Characterizing the interplay between DNA : RNA hybrids and genome stability
Étude de l'implication des hybrides ADN : ARN dans la stabilité du génome
Qu'il s'agisse d'organismes unicellulaires ou multicellulaires complexes, le génome n'est ...
Extensions modales des logiques de ressources : expressivité et calculs
Extensions modales des logiques de ressources : expressivité et calculs
Le développement de nouveaux formalismes logiques est au cœur de nombreuses problématiques de méthodes formelles. Ces formalismes doivent répondre à la fois à des impératifs de mod...
Extension pondérée des logiques modales dans le cadre des croyances graduelles
Extension pondérée des logiques modales dans le cadre des croyances graduelles
Dans le domaine de la modélisation du raisonnement, plusieurs approches se basent sur les logiques modales qui permettent de formaliser le raisonnement sur des éléments non factuel...
Les outils de gestion, transporteurs et régulateurs des logiques institutionnelles : cas de deux organisations de capital-risque solidaire
Les outils de gestion, transporteurs et régulateurs des logiques institutionnelles : cas de deux organisations de capital-risque solidaire
La théorie néo institutionnelle permet de penser les outils de gestion dans la société et dans l'interaction avec les acteurs des organisations. Ce travail montre la complexité des...
Modes opératoires des organisations hybrides : analyse théorique des logiques institutionnelles concurrentes
Modes opératoires des organisations hybrides : analyse théorique des logiques institutionnelles concurrentes
Les organisations hybrides présentent d’importantes opportunités théoriques et managériales. Cette étude examine la manière dont les organisations hybrides incorporent des logiques...
Lyapunov techniques for a class of hybrid systems and reset controller syntheses for continuous-time plants
Lyapunov techniques for a class of hybrid systems and reset controller syntheses for continuous-time plants
Techniques Lyapunov pour une classe de systèmes hybrides et synthèses de contrôleurs à réinitialisation
Ce manuscrit présente des résultats de recherche concernant ...
Cοmpοsites Ηybrides à Base de Μatrices Ροlymères Biοsοurcées.
Cοmpοsites Ηybrides à Base de Μatrices Ροlymères Biοsοurcées.
Dans le cadre de ce travail, une approche durable a été utilisée pour préparer, caractériser et étudier les relations structure-propriétés de matériaux composites à matrices hybrid...