Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic

Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri

We investigate non-wellfounded proof systems based on parsimonious logic, a weaker variant of linear logic where the exponential modality ! is interpreted as a constructor for stre…