Bottom-up Sequentialization of Unit-Free MALL Proof Nets

EasyChair Preprint no. 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: linear logic, Multiplicative-additive fragment, 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 no. 8431},

  year = {EasyChair, 2022}}