Fibring and Sheaves. - Peter Arndt 001; Rodrigo de Alvarenga Freire; Odilon Otavio Luciano; Hugo Luiz Mariano (IICAI, 2005)

A Global Glance on Categories in Logic. - Peter Arndt 001; Rodrigo de Alvarenga Freire; Odilon Otavio Luciano; Hugo Luiz Mariano (Logica Universalis, 2007)

Profinite Structures are Retracts of Ultraproducts of Finite Structures. - Hugo Luiz Mariano; Francisco Miraglia (Reports Math. Log., 2007)

The Profinite Hull of Special Groups and Local-Global Principles. - Hugo Luiz Mariano; Francisco Miraglia (Stud Logica, 2011)

The Boolean and profinite hulls of reduced special groups. - Hugo Luiz Mariano; Francisco Miraglia (Log. J. IGPL, 2013)

Towards a good notion of categories of logics. - Caio de Andrade Mendes; Hugo Luiz Mariano (CoRR, 2014)

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

Categorial forms of the Axiom of Choice. - Andreas B. M. Brunner; Hugo Luiz Mariano; Samuel G. Da Silva (Log. J. IGPL, 2017)

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

Formalizing the Curry-Howard Correspondence. - Juan Ferrer Meleiro; Hugo Luiz Mariano (CoRR, 2019)

Induced morphisms between Heyting-valued models. - José Goudet Alvin; Arthur Francisco Schwerz Cahali; Hugo Luiz Mariano (FLAP, 2022)

On the order theory of C∞-reduced C∞-rings and applications. - Jean Cerqueira Berni; Rodrigo Figueiredo; Hugo Luiz Mariano (FLAP, 2022)

An algebraic (set) theory of surreal numbers, I. - Dimi Rocha Rangel; Hugo Luiz Mariano (FLAP, 2022)

Horn-geometric axioms for faithfully quadratic rings. - Hugo Rafael de Oliveira Ribeiro; Hugo Luiz Mariano (FLAP, 2022)

Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications. - Gabriel Bittencourt Rios; Daniel de Almeida Souza; Darllan Coneição Pinto; Hugo Luiz Mariano (FLAP, 2022)

On superrings of polynomials and algebraically closed multifields. - Kaique Matias de Andrade Roberto; Hugo Luiz Mariano (FLAP, 2022)

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

On elementary equivalence of real semigroups of preordered rings. - Francisco Miraglia; Hugo Luiz Mariano (Log. J. IGPL, 2025)

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

On sheaves on semicartesian quantales and their truth values. - Ana Luiza Tenorio; Caio de Andrade Mendes; Hugo Luiz Mariano (J. Log. Comput., 2025)

Quantale Valued Sets: Categorical Constructions and Properties. - José G. Alvim; Hugo Luiz Mariano; Caio de Andrade Mendes (Stud Logica, 2025)