Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: About Opposition and Duality in Paraconsistent Type Theory   A paraconsistent type theory (an extension of a fragment of intuitionistic
type theory by adding opposite types) is here extended by adding co-function
types. It is shown that, in the extended paraconsistent type system, the
opposite type constructor can be viewed as an involution operation that
transforms each type into its dual type. Moreover, intuitive interpretations of
opposite and co-function types under different interpretations of types are
discussed.

20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat