Sciweavers

LFCS
2009
Springer
14 years 5 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 app...
Antoine Genitrini, Jakub Kozik