Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Least and Greatest Fixed Points in Linear Logic   The first-order theory of MALL (multiplicative, additive linear logic) over
only equalities is an interesting but weak logic since it cannot capture
unbounded (infinite) behavior. Instead of accounting for unbounded behavior via
the addition of the exponentials (! and ?), we add least and greatest fixed
point operators. The resulting logic, which we call muMALL, satisfies two
fundamental proof theoretic properties: we establish weak normalization for it,
and we design a focused proof system that we prove complete. That second result
provides a strong normal form for cut-free proof structures that can be used,
for example, to help automate proof search. We show how these foundations can
be applied to intuitionistic logic.

33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
19
The categories of this paper are: eess
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
3
The categories of this paper are: physics