Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Paraconsistent Higher Order Logic   Classical logic predicts that everything (thus nothing useful at all) follows
from inconsistency. A paraconsistent logic is a logic where an inconsistency
does not lead to such an explosion, and since in practice consistency is
difficult to achieve there are many potential applications of paraconsistent
logics in knowledge-based systems, logical semantics of natural language, etc.
Higher order logics have the advantages of being expressive and with several
automated theorem provers available. Also the type system can be helpful. We
present a concise description of a paraconsistent higher order logic with
countable infinite indeterminacy, where each basic formula can get its own
indeterminate truth value (or as we prefer: truth code). The meaning of the
logical operators is new and rather different from traditional many-valued
logics as well as from logics based on bilattices. The adequacy of the logic is
examined by a case study in the domain of medicine. Thus we try to build a
bridge between the HOL and MVL communities. A sequent calculus is proposed
based on recent work by Muskens.

10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat