Strong normalization of classical natural deduction with disjunctions

Abstract

This paper proves strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. By them, this paper also proves strong normalization of classical natural deduction with general elimination rules for implication and conjunction, and their permutative conversions. This paper also… (More)
DOI: 10.1016/j.apal.2008.01.003

Topics

2 Figures and Tables

Slides referencing similar topics