<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of tel-00087587</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-03T17:24:46+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Abstract Model Theory Results in the Framework of the Institutions: Towards logics combination.</title>
            <title xml:lang="fr">Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques.</title>
            <author role="aut">
              <persName>
                <forename type="first">Fabrice</forename>
                <surname>Barbier</surname>
              </persName>
              <email type="md5">c79000cfd11cb6adc0c2e94f7196c28f</email>
              <email type="domain">lami.univ-evry.fr</email>
              <idno type="idhal" notation="numeric">856036</idno>
              <idno type="halauthorid" notation="string">156573-856036</idno>
              <idno type="IDREF">https://www.idref.fr/120730405</idno>
              <idno type="VIAF">https://viaf.org/viaf/189701104</idno>
              <affiliation ref="#struct-82587"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Fabrice</forename>
                <surname>Barbier</surname>
              </persName>
              <email type="md5">c79000cfd11cb6adc0c2e94f7196c28f</email>
              <email type="domain">lami.univ-evry.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2006-07-25 16:37:46</date>
              <date type="whenModified">2025-08-12 18:14:27</date>
              <date type="whenReleased">2006-07-25 18:43:43</date>
              <date type="whenProduced">2005-12-05</date>
              <date type="whenEndEmbargoed">2006-07-25</date>
              <ref type="file" target="https://theses.hal.science/tel-00087587v1/document">
                <date notBefore="2006-07-25"/>
              </ref>
              <ref type="file" n="1" target="https://theses.hal.science/tel-00087587v1/file/these.pdf" id="file-87587-732458">
                <date notBefore="2006-07-25"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="112285">
                <persName>
                  <forename>Fabrice</forename>
                  <surname>Barbier</surname>
                </persName>
                <email type="md5">c79000cfd11cb6adc0c2e94f7196c28f</email>
                <email type="domain">lami.univ-evry.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-00087587</idno>
            <idno type="halUri">https://theses.hal.science/tel-00087587</idno>
            <idno type="halBibtex">barbier:tel-00087587</idno>
            <idno type="halRefHtml">Mathématiques [math]. Université d'Evry-Val d'Essonne, 2005. Français. &lt;a target="_blank" href="https://www.theses.fr/"&gt;&amp;#x27E8;NNT : &amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Mathématiques [math]. Université d'Evry-Val d'Essonne, 2005. Français. &amp;#x27E8;NNT : &amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-87587-732458"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-EVRY">Université d'Evry-Val d'Essonne</idno>
            <idno type="stamp" n="IBISC" corresp="UNIV-EVRY">Informatique, Biologie Intégrative et Systèmes Complexes</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Abstract Model Theory Results in the Framework of the Institutions: Towards logics combination.</title>
                <title xml:lang="fr">Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques.</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Fabrice</forename>
                    <surname>Barbier</surname>
                  </persName>
                  <email type="md5">c79000cfd11cb6adc0c2e94f7196c28f</email>
                  <email type="domain">lami.univ-evry.fr</email>
                  <idno type="idhal" notation="numeric">856036</idno>
                  <idno type="halauthorid" notation="string">156573-856036</idno>
                  <idno type="IDREF">https://www.idref.fr/120730405</idno>
                  <idno type="VIAF">https://viaf.org/viaf/189701104</idno>
                  <affiliation ref="#struct-82587"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <date type="dateDefended">2005-12-05</date>
                </imprint>
                <authority type="institution">Université d'Evry-Val d'Essonne</authority>
                <authority type="supervisor">Pascale Le Gall(pascale. legall@lami.univ-evry.fr)</authority>
                <authority type="jury">- Pierre-Yves Schobbens (rapporteur)</authority>
                <authority type="jury">- Gilles Dowek (rapporteur)</authority>
                <authority type="jury">- Benjamin Werner (rapporteur)</authority>
                <authority type="jury">- Razvan Diaconescu (examinateur)</authority>
                <authority type="jury">- Richard Lassaigne (examinateur)</authority>
                <authority type="jury">- Pascale Le Gall (directrice de thèse)</authority>
                <authority type="jury">- Marc Aiguier (encadrant)</authority>
              </monogr>
              <ref target="http://www.lami.univ-evry.fr/~fbarbier/recherche-fr.html" type="seeAlso"/>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">logic combination</term>
                <term xml:lang="en">diagrams method</term>
                <term xml:lang="en">Robinson consistency</term>
                <term xml:lang="en">Craig interpolation</term>
                <term xml:lang="en">model theory</term>
                <term xml:lang="fr">Institutions</term>
                <term xml:lang="fr">théorie des modèles</term>
                <term xml:lang="fr">interpolation de Craig</term>
                <term xml:lang="fr">consistance de Robinson</term>
                <term xml:lang="fr">méthode des diagrammes</term>
                <term xml:lang="fr">combinaison de logiques</term>
              </keywords>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>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.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>De nombreux travaux ont montré l'importance de l'interpolation de Craig pour la structuration et la modularité des spécifications de type axiomatique. En vue d'en donner des conditions suffisantes dans un cadre théorique adapté à l'informatique, nous nous sommes intéressé à une propriété équivalente à l'interpolation de Craig dans le cadre de la théorie standard des modèles : la consistance de Robinson. L'étude de cette dernière propriété nous a amené à généraliser dans une spécialisation des institutions les notions classiques de diagrammes complets et de morphismes élémentaires. Ceci nous a alors permis de généraliser quelques résultats classiques de théorie des modèles tels que les théorèmes de Löwenheim-Skolem ou l'union de chaînes de Tarski. En fin, les constructeurs de formules étant explicites dans notre cadre théorique, nous nous sommes naturellemant intéressés à la combinaison de logiques et à la préservation de l'interpolation de Craig et de la consistance de Robinson.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-82587" status="OLD">
          <idno type="IdRef">201055902</idno>
          <idno type="RNSR">201019077X</idno>
          <orgName>Informatique, Biologie Intégrative et Systèmes Complexes</orgName>
          <orgName type="acronym">IBISC</orgName>
          <date type="start">2006-01-01</date>
          <date type="end">2007-12-31</date>
          <desc>
            <address>
              <addrLine>40,rue du pelvoux, Courcouronnes 91020 EVRY CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ibisc.univ-evry.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300306" type="direct"/>
            <relation name="FRE2870" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300306" status="VALID">
          <idno type="IdRef">030820529</idno>
          <idno type="ISNI">0000000121805818</idno>
          <idno type="ROR">https://ror.org/00e96v939</idno>
          <idno type="Wikidata">Q1531014</idno>
          <orgName>Université d'Évry-Val-d'Essonne</orgName>
          <orgName type="acronym">UEVE</orgName>
          <date type="start">1991-07-22</date>
          <desc>
            <address>
              <addrLine>Boulevard François Mitterrand 91025 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-evry.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>