Abstract Model Theory Results in the Framework of the Institutions: Towards logics combination.
type: Distribution
access URL: https://theses.hal.science/tel-00087587
format: HTML
issued: 2026-05-09T06:52:37.826711
modified: 2026-05-09T06:52:37.787635

Abstract Model Theory Results in the Framework of the Institutions: Towards logics combination.
type: Dataset
contact point: Organization
  fn: CCSD
keyword: theses
keyword: craig-interpolation
keyword: methode-des-diagrammes
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: institutions
keyword: model-theory
keyword: theorie-des-modeles
keyword: mathmathematics-math
keyword: combinaison-de-logiques
keyword: robinson-consistency
keyword: consistance-de-robinson
keyword: diagrams-method
keyword: interpolation-de-craig
keyword: logic-combination
landing page: https://theses.hal.science/tel-00087587
description: 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.
issued: 2026-05-09T06:52:37.806311
language: fr
modified: 2026-05-09T06:52:37.806315

test_moissonnage_selune
type: Agent