Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Algebraic Semantics for the Logic of Proofs   We present algebraic semantics for the classical logic of proofs based on
Boolean algebras. We also extend the language of the logic of proofs in order
to have a Boolean structure on justification terms and equality predicate on
terms. In the end, the completeness theorem and certain generalizations of
Stone's representation theorem are obtained for all proposed algebras.

0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin