Algebraizable Logics and a functorial encoding of its morphisms
Abstract
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}).
Cite
@article{arxiv.1410.8083,
title = {Algebraizable Logics and a functorial encoding of its morphisms},
author = {Darllan Conceição Pinto and Hugo Luiz Mariano},
journal= {arXiv preprint arXiv:1410.8083},
year = {2016}
}
Comments
arXiv admin note: text overlap with arXiv:1405.2429