Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Super Exponentials in Linear Logic   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.

35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
4
The categories of this paper are: cond-mat
34
The categories of this paper are: chem-ph
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th