%0 Journal Article
%T A semantical proof of the strong normalization theorem for full propositional classical natural deduction
%A Karim Nour
%A Khelifa Saber
%J Mathematics
%D 2009
%I arXiv
%X We give in this paper a short semantical proof of the strong normalization for full propositional classical natural deduction. This proof is an adaptation of reducibility candidates introduced by J.-Y. Girard and simplified to the classical case by M. Parigot.
%U http://arxiv.org/abs/0905.0358v1