Back to Search
Start Over
Strong normalization of classical natural deduction with disjunctions
- Source :
-
Annals of Pure & Applied Logic . Apr2008, Vol. 153 Issue 1-3, p21-37. 17p. - Publication Year :
- 2008
-
Abstract
- Abstract: This paper proves the strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. Using them, this paper also proves the strong normalization of classical natural deduction with general elimination rules for implication and conjunction, and their permutative conversions. This paper also proves that natural deduction can be embedded into natural deduction with general elimination rules, strictly preserving proof normalization. [Copyright &y& Elsevier]
- Subjects :
- *ELIMINATION (Mathematics)
*ALGEBRA
*MATHEMATICS
*LOGIC
Subjects
Details
- Language :
- English
- ISSN :
- 01680072
- Volume :
- 153
- Issue :
- 1-3
- Database :
- Academic Search Index
- Journal :
- Annals of Pure & Applied Logic
- Publication Type :
- Academic Journal
- Accession number :
- 31489779
- Full Text :
- https://doi.org/10.1016/j.apal.2008.01.003