Around classical and intuitionistic linear logics (Q5145339)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Around classical and intuitionistic linear logics |
scientific article; zbMATH DE number 7298788
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Around classical and intuitionistic linear logics |
scientific article; zbMATH DE number 7298788 |
Statements
Around Classical and Intuitionistic Linear Logics (English)
0 references
20 January 2021
0 references
conservativity
0 references
double negation
0 references
focusing
0 references
intuitionistic linear logic
0 references
linear logic
0 references
negative translations
0 references
tensor logic
0 references
0.7809359431266785
0 references
0.7788461446762085
0 references
0.7738031148910522
0 references
0.7721040844917297
0 references
0.770846426486969
0 references