Hugo Luiz Mariano

Publications

• 𝒬-Sets and Friends: Regarding Singleton and Gluing Completeness. José Goudet Alvim, Caio de Andrade Mendes, Hugo Luiz Mariano. 2023.
• 𝒬-Sets and Friends: Categorical Constructions and Categorical Properties. José Goudet Alvim, Caio de Andrade Mendes, Hugo Luiz Mariano. 2023.
• Introducing Sheaves Over Commutative Semicartesian Quantales. Ana Luiza Tenório, Caio de Andrade Mendes, Hugo Luiz Mariano. 2022.
• Filter Pairs and Natural Extensions of Logics. Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto. 2022.
• On Sheaf Cohomology and Natural Expansions. Ana Luiza Tenorio, Hugo Luiz Mariano. 2021.
• Congruence Filter Pairs, Adjoints and Leibniz Hierarchy. Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto. 2021.
• Connecting Abstract Logics and Adjunctions in the Theory of (Π-)institutions: Some Theoretical Remarks and Applications. Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Conceição Pinto, Hugo Luiz Mariano. 2020.
• Formalizing the Curry-Howard Correspondence. Juan Ferrer Meleiro, Hugo Luiz Mariano. 2019.
• Towards a Good Notion of Categories of Logics. Caio de Andrade Mendes, Hugo Luiz Mariano. 2016.
• Algebraizable Logics and a Functorial Encoding of Its Morphisms. Darllan Conceição Pinto, Hugo Luiz Mariano. 2016.
• Remarks on Propositional Logics and the Categorial Relationship Between Institutions and Π-Institutions. Darllan Conceição Pinto, Hugo Luiz Mariano. 2016.
• Representation Theory of Logics: A Categorial Approach. Darllan Conceição Pinto, Hugo Luiz Mariano. 2014.