Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Resolution in Linguistic First Order Logic based on Linear Symmetrical
  Hedge Algebra   This paper focuses on resolution in linguistic first order logic with truth
value taken from linear symmetrical hedge algebra. We build the basic
components of linguistic first order logic, including syntax and semantics. We
present a resolution principle for our logic to resolve on two clauses having
contradictory linguistic truth values. Since linguistic information is
uncertain, inference in our linguistic logic is approximate. Therefore, we
introduce the concept of reliability in order to capture the natural
approximation of the resolution inference rule.

21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin