Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: How to Make a New Logic   We discuss about how to make a new logic with considering a slogan: \it take
the inversion of what you know. \rm Suppose that we have a Gentzen-style
logical system $S$. The operation to make a new logic from $S$ is the
following: \it for all the axioms and rules of $S$, change the direction of all
the arrows occurred in the sequents of the axiom or the rule to the opposite
side. \rm We call this operation \it Stahlization. \rm We consider certain
logics in this respect.

17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat