Skip to Main content Skip to Navigation
Theses

Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques.

Abstract : The importance of Craig interpolation for structuration and modularity of axiomatic style specifications have been shown by many works. In order to give sufficient conditions to Craig interpolation in a suitable framework for computer science, we've studied a propery equivalent to Craig interpolation in standard model theory: Robinson consistency. To do so, we had to generalize the notions of complete diagrams and elementary morphisms in a specialization of institutions. This allowed the generalization of other classical standard model theory results such as L�wenheim-Skolem theorem and Tarski chain union. Finally, since formulae constructors are explicite in our framework, we've studied logic combination and the preservation of both Craig interpolation and Robinson consistency through combination.
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00087587
Contributor : Fabrice Barbier <>
Submitted on : Tuesday, July 25, 2006 - 4:37:46 PM
Last modification on : Thursday, January 11, 2018 - 6:18:53 AM
Long-term archiving on: : Monday, April 5, 2010 - 10:46:27 PM

Files

Identifiers

  • HAL Id : tel-00087587, version 1

Collections

Citation

Fabrice Barbier. Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques.. Mathématiques [math]. Université d'Evry-Val d'Essonne, 2005. Français. ⟨tel-00087587⟩

Share

Metrics

Record views

314

Files downloads

340