1 citations · 1 across the 2 of their papers we have counts for
3 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 -calculus: Linear Logic to the rescue
Esaïe Bauer, Alexis Saurin
This paper presents a proof-theoretic analysis of the modal -calculus. More precisely, we prove a syntactic cut-elimination for the non-wellfounded modal -calculus, using met…
cs.LO2021★ 1 cited
Super Exponentials in Linear Logic
Esaïe Bauer, Olivier Laurent
Following the idea of Subexponential Linear Logic and Stratified Bounded Linear Logic, we propose a new parameterized version of Linear Logic which subsumes other systems like ELL,…