EasyChair Smart SlideDocs/Log in
Title:Bottom-up Sequentialization of Unit-Free MALL Proof Nets
Authors:Rémi Di Guardia and Olivier Laurent
Conference:TLLA-LINEARITY-2022
Tags:Linear Logic, Multiplicative-additive fragment, Proof net and Sequentialization
Abstract:

We propose a new proof of sequentialization for the proof nets of unit-free multiplicative-additive linear logic of Hughes & Van Glabbeek. This is done by adapting a method from unit-free multiplicative linear logic, showing the robustness of this approach.

 
Bottom-up Sequentialization of Unit-Free MALL Proof Nets
 
1
4
7
10
13
16
19
22
25
28
31
34
37
40
43
46
49
52
55
58
61
64
67
70
73
76
79
82
85
88
91
94
97
100
103
106
109
111
1of111
1
2
3
4
Copyright © 2002 – 2024 EasyChair