Around Classical and Intuitionistic Linear Logics (Q5145339)
From MaRDI portal
scientific article; zbMATH DE number 7298788
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
