Abstract | ||
---|---|---|
This paper considers logical formulas built on the single binary connector of implication and a finite number of variables. When the number of variables becomes large, we prove the following quantitative results: asymptotically, all classical tautologies are simple tautologies. It follows that asymptotically, all classical tautologies are intuitionistic. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-74915-8_16 | CSL |
Keywords | Field | DocType |
following quantitative result,finite number,simple tautology,logical formula,intuitionistic logic,single binary connector,classical tautology,analytic combinatorics,tautologies | Intuitionistic logic,Analytic combinatorics,Discrete mathematics,Tautology (logic),Combinatorics,Finite set,Mathematics,Binary number | Conference |
Volume | ISSN | ISBN |
4646 | 0302-9743 | 3-540-74914-4 |
Citations | PageRank | References |
16 | 1.20 | 8 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hervé Fournier | 1 | 185 | 18.10 |
Danièle Gardy | 2 | 411 | 76.32 |
Antoine Genitrini | 3 | 68 | 12.06 |
Marek Zaionc | 4 | 111 | 17.27 |