Sciweavers

TYPES
2007
Springer

Intuitionistic vs. Classical Tautologies, Quantitative Comparison

14 years 5 months ago
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 infinity1 .
Antoine Genitrini, Jakub Kozik, Marek Zaionc
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TYPES
Authors Antoine Genitrini, Jakub Kozik, Marek Zaionc
Comments (0)