Download PDFOpen PDF in browserBottom-up Sequentialization of Unit-Free MALL Proof NetsEasyChair Preprint 84318 pages•Date: July 10, 2022AbstractWe 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. Keyphrases: Multiplicative-additive fragment, linear logic, proof-net, sequentialization
|