Softness of hypercoherences and MALL full completeness (Q705530)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Softness of hypercoherences and MALL full completeness |
scientific article |
Statements
Softness of hypercoherences and MALL full completeness (English)
0 references
31 January 2005
0 references
full completeness
0 references
multiplicative-additive linear logic
0 references
category of hypercoherences
0 references
dinatural transformation
0 references
softness
0 references
MALL proof-net
0 references
