Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Foundations of regular coinduction   Inference systems are a widespread framework used to define possibly
recursive predicates by means of inference rules. They allow both inductive and
coinductive interpretations that are fairly well-studied. In this paper, we
consider a middle way interpretation, called regular, which combines advantages
of both approaches: it allows non-well-founded reasoning while being finite. We
show that the natural proof-theoretic definition of the regular interpretation,
based on regular trees, coincides with a rational fixed point. Then, we provide
an equivalent inductive characterization, which leads to an algorithm which
looks for a regular derivation of a judgment. Relying on these results, we
define proof techniques for regular reasoning: the regular coinduction
principle, to prove completeness, and an inductive technique to prove
soundness, based on the inductive characterization of the regular
interpretation. Finally, we show the regular approach can be smoothly extended
to inference systems with corules, a recently introduced, generalised
framework, which allows one to refine the coinductive interpretation, proving
that also this flexible regular interpretation admits an equivalent inductive
characterisation.

3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
0
The categories of this paper are: hep-ph