Bottom-up Sequentialization of Unit-Free MALL Proof Nets

EasyChair Preprint 8431

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.

Keyphrases: Multiplicative-additive fragment, linear logic, proof-net, sequentialization

@booklet{EasyChair:8431,
  author    = {Rémi Di Guardia and Olivier Laurent},
  title     = {Bottom-up Sequentialization of Unit-Free MALL Proof Nets},
  howpublished = {EasyChair Preprint 8431},
  year      = {EasyChair, 2022}}