collaborators

1 paper

math.LO2009

A semantical proof of the strong normalization theorem for full propositional classical natural deduction

Karim Nour, Khelifa Saber

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 candidate…