2 search results - page 1 / 1 » Classical and Intuitionistic Logic Are Asymptotically Identi... |
84
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
116
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
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...