A semantical proof of the strong normalization theorem for full propositional classical natural deduction |
| |
| Authors: | Karim Nour Khelifa Saber |
| |
| Affiliation: | (1) LAMA – Equipe de logique, Université de Chambéry, 73376 Le Bourget du Lac, France |
| |
| Abstract: | ![]()
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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
