Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Algebraizable Logics and a functorial encoding of its morphisms   The present work presents some results about the categorial relation between
logics and its categories of structures. A (propositional, finitary) logic is a
pair given by a signature and Tarskian consequence relation on its formula
algebra. The logics are the objects in our categories of logics; the morphisms
are certain signature morphisms that are translations between logics
(\cite{AFLM1},\cite{AFLM2},\cite{AFLM3} \cite{FC}). Morphisms between
algebraizable logics (\cite{BP}) are translations that preserves algebraizing
pairs (\cite{MaMe}): they can be completely encoded by certain functors defined
on the quasi-variety canonically associated to the algebraizable logics. This
kind of results will be useful in the development of a categorial approach to
the representation theory of general logics (\cite{MaPi1}, \cite{MaPi2},
\cite{AJMP}).

31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th