SN and CR for free-style <i>LK<sup>tq</sup></i>: linear decorations and simulation of normalization (Q4532608)
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 1749904
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | SN and CR for free-style <i>LK<sup>tq</sup></i>: linear decorations and simulation of normalization |
scientific article; zbMATH DE number 1749904 |
Statements
SN and CR for free-style <i>LK<sup>tq</sup></i>: linear decorations and simulation of normalization (English)
0 references
29 October 2002
0 references
strongly normalizing strategies for cut reductions
0 references
classical logic
0 references
linear logic
0 references
0.7981454133987427
0 references
0.7762172222137451
0 references
0.7687864303588867
0 references
0.7676293253898621
0 references
0.7604992389678955
0 references
