Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Undecidability of the Lambek calculus with subexponential and bracket
  modalities   The Lambek calculus is a well-known logical formalism for modelling natural
language syntax. The original calculus covered a substantial number of
intricate natural language phenomena, but only those restricted to the
context-free setting. In order to address more subtle linguistic issues, the
Lambek calculus has been extended in various ways. In particular, Morrill and
Valentin (2015) introduce an extension with so-called exponential and bracket
modalities. Their extension is based on a non-standard contraction rule for the
exponential that interacts with the bracket structure in an intricate way. The
standard contraction rule is not admissible in this calculus. In this paper we
prove undecidability of the derivability problem in their calculus. We also
investigate restricted decidable fragments considered by Morrill and Valentin
and we show that these fragments belong to the NP class.

3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph