Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Normalisation Control in Deep Inference via Atomic Flows   We introduce `atomic flows': they are graphs obtained from derivations by
tracing atom occurrences and forgetting the logical structure. We study simple
manipulations of atomic flows that correspond to complex reductions on
derivations. This allows us to prove, for propositional logic, a new and very
general normalisation theorem, which contains cut elimination as a special
case. We operate in deep inference, which is more general than other syntactic
paradigms, and where normalisation is more difficult to control. We argue that
atomic flows are a significant technical advance for normalisation theory,
because 1) the technique they support is largely independent of syntax; 2)
indeed, it is largely independent of logical inference rules; 3) they
constitute a powerful geometric formalism, which is more intuitive than syntax.

17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th