Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proving Infinitary Formulas   The infinitary propositional logic of here-and-there is important for the
theory of answer set programming in view of its relation to strongly equivalent
transformations of logic programs. We know a formal system axiomatizing this
logic exists, but a proof in that system may include infinitely many formulas.
In this note we describe a relationship between the validity of infinitary
formulas in the logic of here-and-there and the provability of formulas in some
finite deductive systems. This relationship allows us to use finite proofs to
justify the validity of infinitary formulas. This note is under consideration
for publication in Theory and Practice of Logic Programming.

22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
18
The categories of this paper are: econ
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex