<?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-02477198v4</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-13T12:30:11+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Adapting Logic to Physics: The Quantum-Like Eigenlogic Program</title>
            <author role="aut">
              <persName>
                <forename type="first">Zeno</forename>
                <surname>Toffano</surname>
              </persName>
              <email type="md5">7226159b4eeffb00c3c4ca7dd32e6715</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">ztoffano</idno>
              <idno type="idhal" notation="numeric">11258</idno>
              <idno type="halauthorid" notation="string">32186-11258</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8594-3291</idno>
              <idno type="IDREF">https://www.idref.fr/058926496</idno>
              <affiliation ref="#struct-1289"/>
              <affiliation ref="#struct-411575"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">François</forename>
                <surname>Dubois</surname>
              </persName>
              <email type="md5">7100fbdba619da95bd78e41602d38c79</email>
              <email type="domain">math.u-psud.fr</email>
              <idno type="idhal" notation="string">francois-dubois</idno>
              <idno type="idhal" notation="numeric">1237807</idno>
              <idno type="halauthorid" notation="string">166287-1237807</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4858-6234</idno>
              <orgName ref="#struct-300351"/>
              <affiliation ref="#struct-300351"/>
              <affiliation ref="#struct-40"/>
              <affiliation ref="#struct-12568"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Zeno</forename>
                <surname>Toffano</surname>
              </persName>
              <email type="md5">7226159b4eeffb00c3c4ca7dd32e6715</email>
              <email type="domain">centralesupelec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2020-02-13 11:29:42</date>
            </edition>
            <edition n="v2">
              <date type="whenSubmitted">2020-02-20 11:48:45</date>
            </edition>
            <edition n="v3">
              <date type="whenSubmitted">2020-03-01 10:24:38</date>
            </edition>
            <edition n="v4" type="current">
              <date type="whenSubmitted">2020-03-31 12:00:52</date>
              <date type="whenModified">2026-01-29 17:40:31</date>
              <date type="whenReleased">2020-04-06 14:50:53</date>
              <date type="whenProduced">2020-02</date>
              <date type="whenEndEmbargoed">2020-03-31</date>
              <ref type="file" target="https://centralesupelec.hal.science/hal-02477198v4/document">
                <date notBefore="2020-03-31"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://centralesupelec.hal.science/hal-02477198v4/file/Adapt-Phys-Logic_v18_HAL_post2.pdf" id="file-2526002-2397439">
                <date notBefore="2020-03-31"/>
              </ref>
              <ref type="externalLink" target="https://www.mdpi.com/1099-4300/22/2/139/pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="446548">
                <persName>
                  <forename>Zeno</forename>
                  <surname>Toffano</surname>
                </persName>
                <email type="md5">7226159b4eeffb00c3c4ca7dd32e6715</email>
                <email type="domain">centralesupelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02477198</idno>
            <idno type="halUri">https://centralesupelec.hal.science/hal-02477198</idno>
            <idno type="halBibtex">toffano:hal-02477198</idno>
            <idno type="halRefHtml">&lt;i&gt;Entropy&lt;/i&gt;, 2020, 22 (2), pp.139. &lt;a target="_blank" href="https://dx.doi.org/10.3390/e22020139"&gt;&amp;#x27E8;10.3390/e22020139&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Entropy, 2020, 22 (2), pp.139. &amp;#x27E8;10.3390/e22020139&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2526002-2397439"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="CNAM">Conservatoire National des Arts et Métiers</idno>
            <idno type="stamp" n="SUP_LSS">Laboratoire des Signaux et Systèmes</idno>
            <idno type="stamp" n="INSMI">CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions</idno>
            <idno type="stamp" n="SUP_TELECOMS" corresp="SUP_LSS">Pôle Télécoms et Réseaux</idno>
            <idno type="stamp" n="LM-ORSAY">Laboratoire de Mathématiques d'Orsay</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PSUD-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris Sud pour Paris Saclay</idno>
            <idno type="stamp" n="LMSSC-CNAM" corresp="CNAM">Laboratoire de mécanique des structures et des systèmes couplés</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="GS-ENGINEERING">Graduate School Sciences de l'Ingénierie et des Systèmes</idno>
            <idno type="stamp" n="GS-MATHEMATIQUES">Graduate School Mathématiques</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="HUB-IA">Hub Intelligence Artificielle de CentraleSupélec</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="HESAM-CNAM" corresp="HESAM">Conservatoire National des Arts et Métiers - Hesam</idno>
            <idno type="stamp" n="HESAM">Hesam</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Adapting Logic to Physics: The Quantum-Like Eigenlogic Program</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Zeno</forename>
                    <surname>Toffano</surname>
                  </persName>
                  <email type="md5">7226159b4eeffb00c3c4ca7dd32e6715</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">ztoffano</idno>
                  <idno type="idhal" notation="numeric">11258</idno>
                  <idno type="halauthorid" notation="string">32186-11258</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8594-3291</idno>
                  <idno type="IDREF">https://www.idref.fr/058926496</idno>
                  <affiliation ref="#struct-1289"/>
                  <affiliation ref="#struct-411575"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">François</forename>
                    <surname>Dubois</surname>
                  </persName>
                  <email type="md5">7100fbdba619da95bd78e41602d38c79</email>
                  <email type="domain">math.u-psud.fr</email>
                  <idno type="idhal" notation="string">francois-dubois</idno>
                  <idno type="idhal" notation="numeric">1237807</idno>
                  <idno type="halauthorid" notation="string">166287-1237807</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4858-6234</idno>
                  <orgName ref="#struct-300351"/>
                  <affiliation ref="#struct-300351"/>
                  <affiliation ref="#struct-40"/>
                  <affiliation ref="#struct-12568"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">801</idno>
                <idno type="eissn">1099-4300</idno>
                <title level="j">Entropy</title>
                <imprint>
                  <publisher>MDPI</publisher>
                  <biblScope unit="volume">22</biblScope>
                  <biblScope unit="issue">2</biblScope>
                  <biblScope unit="pp">139</biblScope>
                  <date type="datePub">2020-02</date>
                </imprint>
              </monogr>
              <idno type="doi">10.3390/e22020139</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">operator algebra</term>
                <term xml:lang="en">quantum computing gates</term>
                <term xml:lang="en">probabilistic logic</term>
              </keywords>
              <classCode scheme="halDomain" n="phys.qphy">Physics [physics]/Quantum Physics [quant-ph]</classCode>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Considering links between logic and physics is important because of the fast development of quantum information technologies in our everyday life. This paper discusses a new method in logic inspired from quantum theory using operators, named Eigenlogic. It expresses logical propositions using linear algebra. Logical functions are represented by operators and logical truth tables correspond to the eigenvalue structure. It extends the possibilities of classical logic by changing the semantics from the Boolean binary alphabet {0,1} using projection operators to the binary alphabet {+1, −1} employing reversible involution operators. Also, many-valued logical operators are synthesized, for whatever alphabet, using operator methods based on Lagrange interpolation and on the Cayley-Hamilton theorem. Considering a superposition of logical input states one gets a fuzzy logic representation where the fuzzy membership function is the quantum probability given by the Born rule. Historical parallels from Boole, Post, Poincaré and Combinatory Logic are presented in relation to probability theory, non-commutative quaternion algebra and Turing machines. An extension to first order logic is proposed inspired by Grover's algorithm. Eigenlogic is essentially a logic of operators and its truth-table logical semantics is provided by the eigenvalue structure which is shown to be related to the universality of logical quantum gates, a fundamental role being played by non-commutativity and entanglement.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1289" status="OLD">
          <idno type="IdRef">133818799</idno>
          <idno type="RNSR">199812842X</idno>
          <orgName>Laboratoire des signaux et systèmes</orgName>
          <orgName type="acronym">L2S</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Plateau de Moulon 3 rue Joliot Curie 91192 GIF SUR YVETTE CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.l2s.centralesupelec.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92966" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR8506" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300351" status="VALID">
          <idno type="IdRef">027404978</idno>
          <idno type="ISNI">0000000121690459</idno>
          <idno type="ROR">https://ror.org/0175hh227</idno>
          <orgName>Conservatoire National des Arts et Métiers [Cnam]</orgName>
          <orgName type="acronym">Cnam</orgName>
          <desc>
            <address>
              <addrLine>292 Rue Saint-Martin, 75003 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cnam.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-40" status="OLD">
          <orgName>Laboratoire de Mathématiques d'Orsay</orgName>
          <orgName type="acronym">LMO</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment 307, rue Michel Magat, Faculté des sciences, Université Paris-Saclay, 91405 Orsay Cédex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.math.u-psud.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92966" type="direct"/>
            <relation name="UMR8628" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-12568" status="VALID">
          <idno type="IdRef">15551069X</idno>
          <idno type="RNSR">199914495P</idno>
          <idno type="ROR">https://ror.org/015d72457</idno>
          <orgName>Laboratoire de Mécanique des Structures et des Systèmes Couplés</orgName>
          <orgName type="acronym">LMSSC</orgName>
          <desc>
            <address>
              <addrLine>292, rue Saint Martin 75141 PARIS Cedex 03</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cnam.fr/lmssc/</ref>
          </desc>
          <listRelation>
            <relation name="EA3196" active="#struct-300351" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92966" status="OLD">
          <idno type="ROR">https://ror.org/028rypz17</idno>
          <orgName>Université Paris-Sud - Paris 11</orgName>
          <orgName type="acronym">UP11</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment 300 - 91405 Orsay cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-psud.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>