Some typical properties of large AND/OR Boolean formulas
Random Structures & Algorithms
Statistical properties of simple types
Mathematical Structures in Computer Science
Combinatorics, Probability and Computing
Probability distribution for simple tautologies
Theoretical Computer Science - Logic, language, information and computation
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
Analytic Combinatorics
Asymptotic Density for Equivalence
Electronic Notes in Theoretical Computer Science (ENTCS)
Complexity and Limiting Ratio of Boolean Functions over Implication
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Intuitionistic vs. classical tautologies, quantitative comparison
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
The fraction of large random trees representing a given Boolean function in implicational logic
Random Structures & Algorithms
On counting untyped lambda terms
Theoretical Computer Science
Asymptotics and random sampling for BCI and BCK lambda terms
Theoretical Computer Science
Hi-index | 0.00 |
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.