Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Selfextensional logics with a distributive nearlattice term   We define when a ternary term $m$ of an algebraic language $\mathcal{L}$ is
called a \textit{distributive nearlattice term} (DN-term) of a sentential logic
$\mathcal{S}$. Distributive nearlattices are ternary algebras generalising
Tarski algebras and distributive lattices. We characterise the selfextensional
logics with a DN-term through the interpretation of the DN-term in the algebras
of the algebraic counterpart of the logics. We prove that the canonical class
of algebras (under the point of view of Abstract Algebraic Logic) associated
with a selfextensional logic with a DN-term is a variety, and we obtain that
the logic is in fact fully selfextensional.

35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
1
The categories of this paper are: cs
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph