A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479)
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: A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic |
scientific article; zbMATH DE number 1956203
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic |
scientific article; zbMATH DE number 1956203 |
Statements
A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (English)
0 references
29 July 2003
0 references
linear logic
0 references
proof net
0 references
sequentialization theorem
0 references
planar graph
0 references
noncommutative logic
0 references
Danos-Regnier graph drawing
0 references
0 references
0.8929777
0 references
0.8837902
0 references
0.8688687
0 references
0.8642478
0 references
0.8630574
0 references
0.86221457
0 references
