论文信息 - Intuitionistic vs. Classical Tautologies, Quantitative Comparison

Intuitionistic vs. Classical Tautologies, Quantitative Comparison

We consider propositional formulas built on implication. The size of a formula is the number of occurrences of variables in it. We assume that two formulas which differ only in the naming of variables are identical. For every n ∈ N, there is a finite number of different formulas of size n. For every n we consider the proportion between the number of intuitionistic tautologies of size n compared with the number of classical tautologies of size n. We prove that the limit of that fraction is 1 when n tends to infinity.

Antoine Genitrini | Jakub Kozik | Marek Zaionc

[1] Danièle Gardy. Random Boolean expressions , 2005 .

[2] Alex K. Simpson,et al. Computational Adequacy in an Elementary Topos , 1998, CSL.

[3] Danièle Gardy,et al. And/or tree probabilities of Boolean functions , 2005 .

[4] Hanno Lefmann,et al. Some Typical Properties of Large AND/OR Boolean Formulas , 1995, MFCS.

[5] Danièle Gardy,et al. Classical and Intuitionistic Logic Are Asymptotically Identical , 2007, CSL.

[6] Marek Zaionc,et al. Probability distribution for simple tautologies , 2006, Theor. Comput. Sci..

[7] Jerzy Tyszkiewicz,et al. Statistical properties of simple types , 2000, Mathematical Structures in Computer Science.

[8] Grzegorz Matecki,et al. Asymptotic Density for Equivalence , 2005, CLA.

[9] Zofia Kostrzycka,et al. Statistics of Intuitionistic versus Classical Logics , 2004, Stud Logica.

[10] Philippe Flajolet,et al. And/Or Trees Revisited , 2004, Comb. Probab. Comput..

[11] Philippe Flajolet,et al. Analytic combinatorics : functional equations, rational and algebraic functions , 2001 .

[12] Marek Zaionc. On the Asymptotic Density of Tautologies in Logic of Implication and Negation , 2005, Reports Math. Log..