177 search results - page 6 / 36 » Linearizing Intuitionistic Implication |
91
Voted
TLCA
1993
Springer
15 years 6 months ago
1993
Springer
89
Voted
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
101
Voted
AML
1998
15 years 2 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
67
Voted
CORR
2009
Springer
15 years 16 days ago
2009
Springer
182
Voted
TYPES
2007
Springer
15 years 8 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...