Quantales and structural rules (Q4716049)
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: Quantales and structural rules |
scientific article; zbMATH DE number 947547
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantales and structural rules |
scientific article; zbMATH DE number 947547 |
Statements
Quantales and structural rules (English)
0 references
6 May 1997
0 references
commutative quantale
0 references
Girard quantale
0 references
dismissed weakening
0 references
contraction
0 references
multiplicative fragment of linear logic
0 references
0 references
0.8867183
0 references
0.88652676
0 references
0.88387275
0 references
0.8816711
0 references
