<?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-01194671</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-13T10:11:46+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">On the density and the structure of the Peirce-like formulae</title>
            <author role="aut">
              <persName>
                <forename type="first">Antoine</forename>
                <surname>Genitrini</surname>
              </persName>
              <email type="md5">b04f9d15a460bdad6019bbd45c7a3ef7</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">antoinegenitrini</idno>
              <idno type="idhal" notation="numeric">881263</idno>
              <idno type="halauthorid" notation="string">500605-881263</idno>
              <idno type="IDREF">https://www.idref.fr/139245391</idno>
              <idno type="ISNI">http://isni.org/isni/0000000139952074</idno>
              <idno type="VIAF">https://viaf.org/viaf/187616094</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5480-0236</idno>
              <affiliation ref="#struct-31978"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jakub</forename>
                <surname>Kozik</surname>
              </persName>
              <idno type="halauthorid">500612-0</idno>
              <affiliation ref="#struct-235237"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Grzegorz</forename>
                <surname>Matecki</surname>
              </persName>
              <idno type="halauthorid">939876-0</idno>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Coordination</forename>
                <surname>Episciences Iam</surname>
              </persName>
              <email type="md5">ca50c40eb57b3ef14743f7aab97e8e68</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-09-07 12:50:54</date>
              <date type="whenModified">2025-03-12 12:20:03</date>
              <date type="whenReleased">2015-09-07 12:56:45</date>
              <date type="whenProduced">2008</date>
              <date type="whenEndEmbargoed">2015-09-07</date>
              <ref type="file" target="https://inria.hal.science/hal-01194671v1/document">
                <date notBefore="2015-09-07"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://inria.hal.science/hal-01194671v1/file/dmAI0131.pdf" id="file-1194671-1277378">
                <date notBefore="2015-09-07"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="201264">
                <persName>
                  <forename>Coordination</forename>
                  <surname>Episciences Iam</surname>
                </persName>
                <email type="md5">ca50c40eb57b3ef14743f7aab97e8e68</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01194671</idno>
            <idno type="halUri">https://inria.hal.science/hal-01194671</idno>
            <idno type="halBibtex">genitrini:hal-01194671</idno>
            <idno type="halRefHtml">&lt;i&gt;Fifth Colloquium on Mathematics and Computer Science&lt;/i&gt;, 2008, Kiel, Germany. pp.461-474, &lt;a target="_blank" href="https://dx.doi.org/10.46298/dmtcs.3584"&gt;&amp;#x27E8;10.46298/dmtcs.3584&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Fifth Colloquium on Mathematics and Computer Science, 2008, Kiel, Germany. pp.461-474, &amp;#x27E8;10.46298/dmtcs.3584&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1194671-1277378"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="PRISM">Parallélisme, Réseaux, Systèmes d'information, Modélisation</idno>
            <idno type="stamp" n="DMTCS">DMTCS</idno>
            <idno type="stamp" n="UVSQ">Université de Versailles Saint-Quentin-en-Yvelines</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">On the density and the structure of the Peirce-like formulae</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Antoine</forename>
                    <surname>Genitrini</surname>
                  </persName>
                  <email type="md5">b04f9d15a460bdad6019bbd45c7a3ef7</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">antoinegenitrini</idno>
                  <idno type="idhal" notation="numeric">881263</idno>
                  <idno type="halauthorid" notation="string">500605-881263</idno>
                  <idno type="IDREF">https://www.idref.fr/139245391</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000139952074</idno>
                  <idno type="VIAF">https://viaf.org/viaf/187616094</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5480-0236</idno>
                  <affiliation ref="#struct-31978"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jakub</forename>
                    <surname>Kozik</surname>
                  </persName>
                  <idno type="halauthorid">500612-0</idno>
                  <affiliation ref="#struct-235237"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Grzegorz</forename>
                    <surname>Matecki</surname>
                  </persName>
                  <idno type="halauthorid">939876-0</idno>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">649</idno>
                <idno type="issn">1462-7264</idno>
                <idno type="eissn">1365-8050</idno>
                <title level="j">Discrete Mathematics and Theoretical Computer Science</title>
                <meeting>
                  <title>Fifth Colloquium on Mathematics and Computer Science</title>
                  <date type="start">2008</date>
                  <settlement>Kiel</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <editor>Roesler, Uwe</editor>
                <imprint>
                  <publisher>Discrete Mathematics and Theoretical Computer Science</publisher>
                  <publisher>DMTCS</publisher>
                  <biblScope unit="serie">DMTCS Proceedings</biblScope>
                  <biblScope unit="volume">DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science</biblScope>
                  <biblScope unit="pp">461-474</biblScope>
                  <date type="datePub">2008-01-01</date>
                </imprint>
              </monogr>
              <idno type="doi">10.46298/dmtcs.3584</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Asymptotic density</term>
                <term xml:lang="en">Analytic combinatorics</term>
                <term xml:lang="en">Intuitionistic logic</term>
                <term xml:lang="en">Tautologies</term>
                <term xml:lang="en">Implicational formulae</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-dm">Computer Science [cs]/Discrete Mathematics [cs.DM]</classCode>
              <classCode scheme="halDomain" n="math.math-ds">Mathematics [math]/Dynamical Systems [math.DS]</classCode>
              <classCode scheme="halDomain" n="math.math-co">Mathematics [math]/Combinatorics [math.CO]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Within the language of propositional formulae built on implication and a finite number of variables $k$, we analyze the set of formulae which are classical tautologies but not intuitionistic (we call such formulae - Peirce's formulae). We construct the large family of so called simple Peirce's formulae, whose sequence of densities for different $k$ is asymptotically equivalent to the sequence $\frac{1}{ 2 k^2}$. We prove that the densities of the sets of remaining Peirce's formulae are asymptotically bounded from above by $\frac{c}{ k^3}$ for some constant $c \in \mathbb{R}$. The result justifies the statement that in the considered language almost all Peirce's formulae are simple. The result gives a partial answer to the question stated in the recent paper by H. Fournier, D. Gardy, A. Genitrini and M. Zaionc - although we have not proved the existence of the densities for Peirce's formulae, our result gives lower and upper bound for it (if it exists) and both bounds are asymptotically equivalent to $\frac{1}{ 2 k^2}$.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-31978" status="OLD">
          <idno type="IdRef">183458028</idno>
          <idno type="RNSR">200312800E</idno>
          <orgName>Parallélisme, Réseaux, Systèmes, Modélisation</orgName>
          <orgName type="acronym">PRISM</orgName>
          <date type="start">2003</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>UFR des sciences PRISM  Bâtiment Descartes 45 avenue des Etats-Unis78035 VERSAILLES</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.prism.uvsq.fr/</ref>
          </desc>
          <listRelation>
            <relation name="FRE3709" active="#struct-81173" type="direct"/>
            <relation name="UMR8144" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-235237" status="VALID">
          <orgName>Theoretical Computer Science Department [Krakow]</orgName>
          <orgName type="acronym">TCS</orgName>
          <desc>
            <address>
              <addrLine>Faculty of Mathematics and Computer Science, ul. Prof. Lojasiewicza 6, 30-348 Krakow, Poland</addrLine>
              <country key="PL"/>
            </address>
            <ref type="url">http://www.tcs.uj.edu.pl/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-303988" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81173" status="VALID">
          <idno type="IdRef">03082057X</idno>
          <idno type="ISNI">0000 0001 2323 0229 </idno>
          <idno type="ROR">https://ror.org/03mkjjy25</idno>
          <orgName>Université de Versailles Saint-Quentin-en-Yvelines</orgName>
          <orgName type="acronym">UVSQ</orgName>
          <date type="start">1991-07-22</date>
          <desc>
            <address>
              <addrLine>55 avenue de Paris - 78035 Versailles cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.uvsq.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>
        <org type="institution" xml:id="struct-303988" status="VALID">
          <idno type="IdRef">026432250</idno>
          <orgName>Uniwersytet Jagielloński w Krakowie = Jagiellonian University = Université Jagellon de Cracovie</orgName>
          <orgName type="acronym">UJ</orgName>
          <date type="start">1364-01-01</date>
          <desc>
            <address>
              <addrLine>ul. Gołębia 24, 31-007 Kraków</addrLine>
              <country key="PL"/>
            </address>
            <ref type="url">https://www.uj.edu.pl</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>