Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Multiplicative-Additive Focusing for Parsing as Deduction   Spurious ambiguity is the phenomenon whereby distinct derivations in grammar
may assign the same structural reading, resulting in redundancy in the parse
search space and inefficiency in parsing. Understanding the problem depends on
identifying the essential mathematical structure of derivations. This is
trivial in the case of context free grammar, where the parse structures are
ordered trees; in the case of categorial grammar, the parse structures are
proof nets. However, with respect to multiplicatives intrinsic proof nets have
not yet been given for displacement calculus, and proof nets for additives,
which have applications to polymorphism, are involved. Here we approach
multiplicative-additive spurious ambiguity by means of the proof-theoretic
technique of focalisation.

31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat