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”.

• Type: Conference
• Year: 2009
• Where: LFCS
• Authors: Antoine Genitrini, Jakub Kozik
• Keywords: Artificial Intelligence, Classical Tautologies, Intuitionistic Logics, Intuitionistic Tautologies, LFCS 2009