Proof nets of PN as graphs (Q1805403)
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: Proof nets of PN as graphs |
scientific article; zbMATH DE number 754287
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proof nets of PN as graphs |
scientific article; zbMATH DE number 754287 |
Statements
Proof nets of PN as graphs (English)
0 references
11 May 1995
0 references
A new definition of a proof net is given for a new system of linear logic introduced earlier. The definition is rather complicated, and its usefulness for more traditional linear logic is not obvious.
0 references
proof net
0 references
linear logic
0 references
0.7831705808639526
0 references
0.7808430194854736
0 references
0.7760193943977356
0 references
