Loading...
Please wait, while we are loading the content...
Similar Documents
Focusing non-commutative sequent calculus (2000).
| Content Provider | CiteSeerX |
|---|---|
| Author | Maieli, Roberto |
| Abstract | Contents 1 The non-commutative logic 1 1.1 Orders and order varieties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 NL sequent Calculus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2 Focusing proof construction 4 2.1 Focusing structural rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Focusing asynchronous rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.3 Focusing synchronous rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.4 Focusing entropy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1 The non-commutative logic Non-commutative logic was introduced by Abrusci and Ruet in [7, 1], as a renement of linear logic [4]. ... 1.1 Orders and order varieties< |
| File Format | |
| Publisher Date | 2000-01-01 |
| Access Restriction | Open |
| Subject Keyword | Non-commutative Sequent Calculus Order Variety Non-commutative Logic Structural Rule Linear Logic Non-commutative Logic Non-commutative Logic Asynchronous Rule Synchronous Rule Nl Sequent Calculus Proof Construction |
| Content Type | Text |
