Name
Title | ||
|---|---|---|
A semantical proof of the strong normalization theorem for full propositional classical natural deduction |
Abstract | ||
|---|---|---|
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 simplie d to the classical case by M. Parigot. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/s00153-005-0314-y | Archive for Mathematical Logic |
Keywords | Field | DocType |
mathematics,algebra,natural deduction | Discrete mathematics,Normalization (statistics),Natural deduction,Structural proof theory,Mathematics,Mathematical logic | Journal |
Volume | Issue | ISSN |
45 | 3 | 1432-0665 |
Citations | PageRank | References |
9 | 0.63 | 7 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Karim Nour | 1 | 65 | 15.07 |
| Khelifa Saber | 2 | 10 | 1.66 |