Sciweavers

Share
LFCS
2009
Springer

Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System

10 years 6 months ago
Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different approaches, to estimate the asymptotic fraction of intuitionistic tautologies among classical tautologies, obtaining the same results for both. Our results justify informal statements such as “about 5/8 of classical tautologies are intuitionistic”.
Antoine Genitrini, Jakub Kozik
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where LFCS
Authors Antoine Genitrini, Jakub Kozik
Comments (0)
books