Loading...
Please wait, while we are loading the content...
Similar Documents
A new correctness criterion for multiplicative non commutative proof nets (2001).
| Content Provider | CiteSeerX |
|---|---|
| Author | Maieli, Roberto |
| Abstract | We introduce a new correctness criterion for multiplicative non commutative proof nets which can be considered as the non-commutative counterpart to the Danos-Regnier criterion for proof nets of linear logic. The main intuition relies on the fact that any switching for a proof net (obtained by mutilating one premise of each disjunction link) can be naturally viewed as a series-parallel order variety (a cyclic relation) on the conclusions of the proof net. 1. |
| File Format | |
| Publisher Date | 2001-01-01 |
| Access Restriction | Open |
| Subject Keyword | Multiplicative Non Commutative Proof Net New Correctness Criterion Proof Net Series-parallel Order Variety Disjunction Link Main Intuition Relies Linear Logic Non-commutative Counterpart Cyclic Relation Danos-regnier Criterion |
| Content Type | Text |
