177 search results - page 6 / 36 » Linearizing Intuitionistic Implication |
115
Voted
TLCA
1993
Springer
15 years 9 months ago
1993
Springer
109
Voted
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
116
Voted
AML
1998
15 years 4 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
87
Voted
CORR
2009
Springer
15 years 2 months ago
2009
Springer
219
click to vote
TYPES
2007
Springer
15 years 11 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...