Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Terminating Calculi for Propositional Dummett Logic with Subformula
  Property   In this paper we present two terminating tableau calculi for propositional
Dummett logic obeying the subformula property. The ideas of our calculi rely on
the linearly ordered Kripke semantics of Dummett logic. The first calculus
works on two semantical levels: the present and the next possible world. The
second calculus employs the usual object language of tableau systems and
exploits a property of the construction of the completeness theorem to
introduce a check which is an alternative to loop check mechanisms.

18
The categories of this paper are: econ
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th