Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A New Algorithmic Decision for Categorical Syllogisms via Caroll's
  Diagrams   In this paper, we deal with a calculus system SLCD (Syllogistic Logic with
Carroll Diagrams), which gives a formal approach to logical reasoning with
diagrams, for representations of the fundamental Aristotelian categorical
propositions and show that they are closed under the syllogistic criterion of
inference which is the deletion of middle term. Therefore, it is implemented to
let the formalism comprise synchronically bilateral and trilateral
diagrammatical appearance and a naive algorithmic nature. And also, there is no
need specific knowledge or exclusive ability to understand as well as to use
it. Consequently, we give an effective algorithm used to determine whether a
syllogistic reasoning valid or not by using SLCD.

11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys