Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Classical and Intuitionistic Subexponential Logics are Equally
  Expressive   It is standard to regard the intuitionistic restriction of a classical logic
as increasing the expressivity of the logic because the classical logic can be
adequately represented in the intuitionistic logic by double-negation, while
the other direction has no truth-preserving propositional encodings. We show
here that subexponential logic, which is a family of substructural refinements
of classical logic, each parametric over a preorder over the subexponential
connectives, does not suffer from this asymmetry if the preorder is
systematically modified as part of the encoding. Precisely, we show a bijection
between synthetic (i.e., focused) partial sequent derivations modulo a given
encoding. Particular instances of our encoding for particular subexponential
preorders give rise to both known and novel adequacy theorems for substructural
logics.

2
The categories of this paper are: math
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
13
The categories of this paper are: quant-ph
15
The categories of this paper are: nucl-ex
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th