1128 search results - page 1 / 226 » Classical Natural Deduction |
APAL
2008
14 years 9 months ago
2008
This paper proves strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. By them, this paper...
TLCA
2001
Springer
15 years 2 months ago
2001
Springer
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
66
Voted
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
CSL
2010
Springer
14 years 10 months ago
2010
Springer
55
Voted
SLOGICA
1998
14 years 9 months ago
1998