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, LLL or SLL, by including variants of the exponential rules. We call this system Superexponential Linear Logic (superLL). Assuming some appropriate constraints on the parameters of superLL, we give a generic proof of cut elimination. This implies that each variant of Linear Logic which appears as a valid instance of superLL also satisfies cut elimination.Linear logic (LL) has been introduced by Jean-Yves Girard in 1987 [8]. Since then, it has become a pervasive tool in proof theory, in typing systems and semantics for programming languages, in computational complexity theory, etc. The key property which provides a computational meaning to this logic is cut elimination.During the years, many variants of LL have been introduced which differ in particular on some specific uses of exponential rules. Each time a dedicated proof of cut elimination is provided by the authors. We are interested in finding a generic cut-elimination proof for as many systems as possible.Proving the cut-elimination theorem for many systems at once is already the idea behind the parametric system of Subexponential Linear Logic (seLL) [7,14]. However it relies on a parameterized version of Girard's promotion rule, and thus rules out systems based on other kinds of promotions such as functorial promotion. Parameters of seLL allow to control ?-rules. Exponential connectives are indexed by some exponential signatures (instead of a single pair {!, ?}). These signatures are equipped with a pre-order structure used in extending Girard's promotion rule. Some closure properties of the parameters (with respect to the pre-order) are required for cut elimination to hold. The idea of indexing the exponential modalities is also at the heart of Stratified Bounded Linear Logic (B S LL) [4]. Indexing is there based on a semi-ring endowed with a compatible partial order.The new system we consider is called Superexponential Linear Logic (superLL). Its ?-rules are parameterized by predicates which provide the valid relations between the exponential signatures used in the premises and in the conclusion of each rule. In order to take into account variants of LL used in implicit computational complexity (ELL [9], LLL [9], SLL [12]), it is simpler to consider a system based on a functorial version of promotion together with an explicit digging rule. As a counter part, we have to understand how this is related with Girard's promotion rule.Under appropriate axioms on the parameters, we can describe various proof transformations on su-perLL including in particular cut elimination. Choosing specific instances of superLL leads to systems equivalent to a number of variants of LL from the literature (some light systems for complexity, but also seLL or B S LL).In Sections 1 and 2, we recall the definitions of LL and of the variants we are going to consider. The notion of E -formula which deals wi...