Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Convergent Deduction for Probabilistic Logic   This paper discusses the semantics and proof theory of Nilsson's
probabilistic logic, outlining both the benefits of its well-defined model
theory and the drawbacks of its proof theory. Within Nilsson's semantic
framework, we derive a set of inference rules which are provably sound. The
resulting proof system, in contrast to Nilsson's approach, has the important
feature of convergence - that is, the inference process proceeds by computing
increasingly narrow probability intervals which converge from above and below
on the smallest entailed probability interval. Thus the procedure can be
stopped at any time to yield partial information concerning the smallest
entailed interval.

33
The categories of this paper are: plasm-ph
35
The categories of this paper are: mtrl-th
18
The categories of this paper are: econ
24
The categories of this paper are: dg-ga
2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
14
The categories of this paper are: math-ph
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph