Quantales and (noncommutative) linear logic (Q3478401)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantales and (noncommutative) linear logic |
scientific article |
Statements
Quantales and (noncommutative) linear logic (English)
0 references
1990
0 references
graphical proof as equivalence class of drawings
0 references
Noncommutative Linear Logic
0 references
pure succeedent sequent calculus for NLL
0 references
Girard quantales
0 references
strong normalization
0 references
