Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Stone and double Stone algebras: Boolean and Rough Set Representations,
  3-valued and 4-valued Logics   Moisil in 1941, while constructing the algebraic models of n-valued
{\L}ukasiewicz logic defined the set $B^{[n]}$,where $B$ is a Boolean algebra
and `n' being a natural number. Further it was proved by Moisil himself the
representations of n-valued {\L}ukasiewicz Moisil algebra in terms of
$B^{[n]}$. In this article, structural representation results for Stone, dual
Stone and double Stone algebras are proved similar to Moisil's work by showing
that elements of these algebras can be looked upon as monotone ordered tuple of
sets. 3-valued semantics of logic for Stone algebra, dual Stone algebras and
4-valued semantics of logic for double Stone algebras are proposed and
established soundness and completeness results.

17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex