collaborators

1 paper

math.LO2025

Cut elimination for a non-wellfounded system for the master modality

Borja Sierra Miranda, Thomas Studer

In previous work we provided a method for eliminating cuts in non-wellfounded proofs with a local-progress condition, these being the simplest kind of non-wellfounded proofs. The m…