Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Seventh International Workshop on Classical Logic and
  Computation   This special issue cover the seventh and last conference of the CL&C series,
started in 2006 in San Servolo. Topics are the computational content of logics
between intuitionistic logic and classical logic, through normalization, and a
new topic, cyclic proofs and the complexity of checking the correctness of a
cyclic proof. Accepted papers include an empirical comparison of time
consumption of different normalization algorithms, and new reductions sets for
several extensions of intuitionistic logic having the Herbrand disjunction
property. Another paper provides a reduction set for admissible rules for
intuitionistic logic. A paper describes a subset of cyclic proofs having a
polynomial-time algorithm checking correctness.

27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
2
The categories of this paper are: math
26
The categories of this paper are: bayes-an
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th