Classical and Intuitionistic Logic Are Asymptotically Identical

DOI10.1007/978-3-540-74915-8_16zbMath1179.03015MaRDI QIDQ3608412

Antoine Genitrini, Daniéle Gardy, Marek Zaionc, Hervé Fournier

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_16

zbMATH Keywords

intuitionistic logic; analytic combinatorics; tautologies; implicational formulas

Mathematics Subject Classification ID

03B10: Classical first-order logic

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

Almost all Classical Theorems are Intuitionistic, Asymptotics and random sampling for BCI and BCK lambda terms, In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid, 2-Xor revisited: satisfiability and probabilities of functions, Associative and commutative tree representations for Boolean functions, The fraction of large random trees representing a given Boolean function in implicational logic, Asymptotic Properties of Combinatory Logic, Intuitionistic vs. Classical Tautologies, Quantitative Comparison, Tautologies over implication with negative literals, Complexity and Limiting Ratio of Boolean Functions over Implication, Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System