Statistics of intuitionistic versus classical logics (Q1826933)

The authors consider the limit, when \(n\to\infty\), of the proportion of the number of true formulae of length \(n\) to the number of all formulae of this length, as the basic density measure of truth for the given logical system. The main, and quite interesting, result of this paper may be formulated as follows: the relative density of intuitionistic tautologies of the implication-negation one propositional variable fragment among classical ones is larger than \(93\%\).