Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Permuting Cut with Contraction   The paper presents a cut-elimination procedure for intuitionistic
propositional logic in which cut is eliminated directly, without introducing
the multiple-cut rule mix, and in which pushing cut above contraction is one of
the reduction steps. The presentation of this procedure is preceded by an
analysis of Gentzen's mix-elimination procedure, made in the perspective of
permuting cut with contraction. It is also shown that in the absence of
implication, pushing cut above contraction doesn't pose problems for directly
eliminating cut.

4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol