Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions. - Darllan Conceição Pinto; Hugo Luiz Mariano (CoRR, 2016)

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

Filter pairs and natural extensions of logics. - Peter Arndt 001; Hugo Luiz Mariano; Darllan Conceição Pinto (Arch. Math. Log., 2023)

Expanding the Leibniz Hierarchy. - Ugo C. M. Almeida; Darllan Conceição Pinto (J. Log. Comput., 2025)

Congruence filter pairs, equational filter pairs and adjoints. - Peter Arndt 001; Hugo Luiz Mariano; Darllan Conceição Pinto (J. Log. Comput., 2025)