A strong normalization result for classical logic Original Research Article

In this paper we give a strong normalization proof for a set of reduction rules for classical logic. These reductions, more general than the ones usually considered in literature, are inspired to the reductions of Felleisenʹs lambda calculus with continuations.