1128 search results - page 1 / 226 » Classical Natural Deduction |
APAL
2008
13 years 4 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
13 years 9 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...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
CSL
2010
Springer
13 years 5 months ago
2010
Springer
SLOGICA
1998
13 years 4 months ago
1998