A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2133231
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A short proof of the strong normalization of classical natural deduction with disjunction |
scientific article; zbMATH DE number 2133231 |
Statements
A short proof of the strong normalization of classical natural deduction with disjunction (English)
0 references
9 February 2005
0 references
strong normalization
0 references
\(\lambda\mu\)-calculus
0 references
classical propositional logic
0 references
0 references
0 references
0.9633231
0 references
0.93154395
0 references
0.9264271
0 references
0.9090834
0 references
0.90524054
0 references
0 references
0.89111507
0 references
0.8893719
0 references
0.8889731
0 references
