Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\) (Q4645240)
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 6999523
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\) |
scientific article; zbMATH DE number 6999523 |
Statements
Strong normalization for all-style LKtq (English)
0 references
10 January 2019
0 references
logical reduction
0 references
linear logic
0 references
logical rule
0 references
structural rule
0 references
sequent calculus
0 references
0.7989231944084167
0 references
0.7981454133987427
0 references
0.7899191379547119
0 references
