Algebraizable logics and a functorial encoding of its morphisms - Pinto, Darllan Conceição; Mariano, Hugo Luiz (Logic Journal of the IGPL, 2017)