Esaïe Bauer

collaborators

2 papers

cs.LO2025

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials

EsaÃ¯e Bauer, Alexis Saurin

In the realm of light logics deriving from linear logic, a number of variants of exponential rules have been investigated. The profusion of such proof systems induces the need for…

cs.LO2025

On the cut-elimination of the modal $I^¼$ -calculus: Linear Logic to the rescue

EsaÃ¯e Bauer, Alexis Saurin

This paper presents a proof-theoretic analysis of the modal $I^¼$ -calculus. More precisely, we prove a syntactic cut-elimination for the non-wellfounded modal $I^¼$ -calculus, using m…

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials

On the cut-elimination of the modal I^¼-calculus: Linear Logic to the rescue

On the cut-elimination of the modal $I^¼$ -calculus: Linear Logic to the rescue