1128 search results - page 1 / 226 » Classical Natural Deduction |
95
Voted
APAL
2008
15 years 1 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...
115
Voted
TLCA
2001
Springer
15 years 5 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...
78
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
79
Voted
CSL
2010
Springer
15 years 2 months ago
2010
Springer
74
Voted
SLOGICA
1998
15 years 24 days ago
1998