177 search results - page 6 / 36 » Linearizing Intuitionistic Implication |
TLCA
1993
Springer
13 years 11 months ago
1993
Springer
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
AML
1998
13 years 7 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
CORR
2009
Springer
13 years 5 months ago
2009
Springer
TYPES
2007
Springer
14 years 1 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...