2 search results - page 1 / 1 » Intuitionistic vs. Classical Tautologies, Quantitative Compa... |
LFCS
2009
Springer
13 years 11 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...
TYPES
2007
Springer
13 years 10 months ago
2007
Springer
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 th...