TY  - RPRT
TI  - Algebraizable Logics and a functorial encoding of its morphisms
AU  - Darllan Conceição Pinto
AU  - Hugo Luiz Mariano
PY  - 2016
UR  - https://arxiv.org/abs/1410.8083
ID  - 1410.8083
ER  -