<?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 hal-03092781</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-15T18:08:21+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Processing Information from a Set of Sources</title>
            <author role="aut">
              <persName>
                <forename type="first">Arnon</forename>
                <surname>Avron</surname>
              </persName>
              <idno type="halauthorid">2119189-0</idno>
              <affiliation ref="#struct-63133"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jonathan</forename>
                <surname>Ben-Naim</surname>
              </persName>
              <email type="md5">9842d17daba5838ebc28142d5888f2ad</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">jonathan-ben-naim</idno>
              <idno type="idhal" notation="numeric">736334</idno>
              <idno type="halauthorid" notation="string">13233-736334</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2900-4112</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-400549"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Beata</forename>
                <surname>Konikowska</surname>
              </persName>
              <idno type="halauthorid">2119190-0</idno>
              <affiliation ref="#struct-531382"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jonathan</forename>
                <surname>Ben-Naim</surname>
              </persName>
              <email type="md5">9842d17daba5838ebc28142d5888f2ad</email>
              <email type="domain">irit.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-01-02 19:59:50</date>
              <date type="whenModified">2025-10-22 18:04:08</date>
              <date type="whenReleased">2021-01-02 19:59:50</date>
              <date type="whenProduced">2009-01-01</date>
              <ref type="externalLink" target="https://api.istex.fr/document/BC123079EF3D4024F96597BE408EF89CE3A5F626/fulltext/pdf?sid=hal"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="913102">
                <persName>
                  <forename>Jonathan</forename>
                  <surname>Ben-Naim</surname>
                </persName>
                <email type="md5">9842d17daba5838ebc28142d5888f2ad</email>
                <email type="domain">irit.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03092781</idno>
            <idno type="halUri">https://hal.science/hal-03092781</idno>
            <idno type="halBibtex">avron:hal-03092781</idno>
            <idno type="halRefHtml">&lt;i&gt;Towards Mathematical Philosophy&lt;/i&gt;, 28, &lt;a target="_blank" href="https://link.springer.com/chapter/10.1007/978-1-4020-9084-4_8"&gt;&lt;/a&gt;, pp.165-186, 2009, Trends in Logic book series (TREN), &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-1-4020-9084-4_8"&gt;&amp;#x27E8;10.1007/978-1-4020-9084-4_8&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Towards Mathematical Philosophy, 28, , pp.165-186, 2009, Trends in Logic book series (TREN), &amp;#x27E8;10.1007/978-1-4020-9084-4_8&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-LILAC" corresp="IRIT">Logique, Interaction, Langue et Calcul</idno>
            <idno type="stamp" n="IRIT-IA" corresp="IRIT">Intelligence Artificielle</idno>
            <idno type="stamp" n="IRIT-CNRS">IRIT - Centre National de la Recherche Scientifique</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Processing Information from a Set of Sources</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Arnon</forename>
                    <surname>Avron</surname>
                  </persName>
                  <idno type="halauthorid">2119189-0</idno>
                  <affiliation ref="#struct-63133"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jonathan</forename>
                    <surname>Ben-Naim</surname>
                  </persName>
                  <email type="md5">9842d17daba5838ebc28142d5888f2ad</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">jonathan-ben-naim</idno>
                  <idno type="idhal" notation="numeric">736334</idno>
                  <idno type="halauthorid" notation="string">13233-736334</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2900-4112</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-400549"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Beata</forename>
                    <surname>Konikowska</surname>
                  </persName>
                  <idno type="halauthorid">2119190-0</idno>
                  <affiliation ref="#struct-531382"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Towards Mathematical Philosophy</title>
                <imprint>
                  <biblScope unit="serie">Trends in Logic book series (TREN)</biblScope>
                  <biblScope unit="volume">28</biblScope>
                  <biblScope unit="pp">165-186</biblScope>
                  <date type="datePub">2009-01-01</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-1-4020-9084-4_8</idno>
              <ref type="publisher">https://link.springer.com/chapter/10.1007/978-1-4020-9084-4_8</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">non-deterministic matrices</term>
                <term xml:lang="en">non-classical logics</term>
                <term xml:lang="en">paraconsistency</term>
                <term xml:lang="en">multiple sources</term>
                <term xml:lang="en">information processing</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halOldTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halTreeTypology" n="COUV">Book sections</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We introduce a general framework for solving the problem of a computer collecting and combining information from various sources. Unlike previous approaches to this problem, in our framework the sources are allowed to provide information about complex formulae too. This is enabled by the use of a new tool—non-deterministic logical matrices. We also consider several alternative plausible assumptions concerning the framework which lead to various logics. We provide strongly sound and complete proof systems for all the basic logics induced in this way.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regroupinstitution" xml:id="struct-63133" status="VALID">
          <idno type="ROR">https://ror.org/04mhzgx49</idno>
          <orgName>Tel Aviv University</orgName>
          <orgName type="acronym">TAU</orgName>
          <desc>
            <address>
              <addrLine>Tel Aviv 699780</addrLine>
              <country key="IL"/>
            </address>
            <ref type="url">https://english.tau.ac.il/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-400549" status="OLD">
          <orgName>Logique, Interaction, Langue et Calcul</orgName>
          <orgName type="acronym">IRIT-LILaC</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>IRIT118 Route de Narbonne31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irit.fr/departement/intelligence-artificielle/equipe-lilac/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </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>
        <org type="institution" xml:id="struct-531382" status="VALID">
          <idno type="IdRef">026414554</idno>
          <idno type="ISNI">0000000419371290</idno>
          <idno type="ROR">https://ror.org/039bjqg32</idno>
          <idno type="Wikidata">Q144488</idno>
          <orgName>Uniwersytet Warszawski  [Polska] = University of Warsaw [Poland] = Université de Varsovie [Pologne]</orgName>
          <orgName type="acronym">UW</orgName>
          <date type="start">1816-01-01</date>
          <desc>
            <address>
              <addrLine>Krakowskie Przedmieście 26/28 – 00-927 – Warszawa – Pologne</addrLine>
              <country key="PL"/>
            </address>
            <ref type="url">https://www.uw.edu.pl/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>