Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A polynomial time algorithm for the Lambek calculus with brackets of
  bounded order   Lambek calculus is a logical foundation of categorial grammar, a linguistic
paradigm of grammar as logic and parsing as deduction. Pentus (2010) gave a
polynomial-time algorithm for determ- ining provability of bounded depth
formulas in the Lambek calculus with empty antecedents allowed. Pentus'
algorithm is based on tabularisation of proof nets. Lambek calculus with
brackets is a conservative extension of Lambek calculus with bracket
modalities, suitable for the modeling of syntactical domains. In this paper we
give an algorithm for provability the Lambek calculus with brackets allowing
empty antecedents. Our algorithm runs in polynomial time when both the formula
depth and the bracket nesting depth are bounded. It combines a Pentus-style
tabularisation of proof nets with an automata-theoretic treatment of
bracketing.

23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
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
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat