Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Paraconsistency of Interactive Computation   The goal of computational logic is to allow us to model computation as well
as to reason about it. We argue that a computational logic must be able to
model interactive computation. We show that first-order logic cannot model
interactive computation due to the incompleteness of interaction. We show that
interactive computation is necessarily paraconsistent, able to model both a
fact and its negation, due to the role of the world (environment) in
determining the course of the computation. We conclude that paraconsistency is
a necessary property for a logic that can model interactive computation.

31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin