Hugo Luiz Mariano

21 papers Journal 20Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Congruence filter pairs, equational filter pairs and adjoints.
J. Log. Comput.
Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto
2025 J jnl
On elementary equivalence of real semigroups of preordered rings.
Log. J. IGPL
Francisco Miraglia, Hugo Luiz Mariano
2025 J jnl
On sheaves on semicartesian quantales and their truth values.
J. Log. Comput.
Ana Luiza Tenorio, Caio de Andrade Mendes, Hugo Luiz Mariano
2025 J jnl
Quantale Valued Sets: Categorical Constructions and Properties.
Stud Logica
José G. Alvim, Hugo Luiz Mariano, Caio de Andrade Mendes
2023 J jnl
Filter pairs and natural extensions of logics.
Arch. Math. Log.
Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto
2022 J jnl
An algebraic (set) theory of surreal numbers, I.
FLAP
Dimi Rocha Rangel, Hugo Luiz Mariano
2022 J jnl
Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications.
FLAP
Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano
2022 J jnl
Horn-geometric axioms for faithfully quadratic rings.
FLAP
Hugo Rafael de Oliveira Ribeiro, Hugo Luiz Mariano
2022 J jnl
Induced morphisms between Heyting-valued models.
FLAP
José Goudet Alvin, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano
2022 J jnl
On superrings of polynomials and algebraically closed multifields.
FLAP
Kaique Matias de Andrade Roberto, Hugo Luiz Mariano
2022 J jnl
On the order theory of C
FLAP
Jean Cerqueira Berni, Rodrigo Figueiredo, Hugo Luiz Mariano
2019 J jnl
Formalizing the Curry-Howard Correspondence.
CoRR
Juan Ferrer Meleiro, Hugo Luiz Mariano
2017 J jnl
Algebraizable logics and a functorial encoding of its morphisms.
Log. J. IGPL
Darllan Conceição Pinto, Hugo Luiz Mariano
2017 J jnl
Categorial forms of the Axiom of Choice.
Log. J. IGPL
Andreas B. M. Brunner, Hugo Luiz Mariano, Samuel G. Da Silva
2016 J jnl
Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions.
CoRR
Darllan Conceição Pinto, Hugo Luiz Mariano
2014 J jnl
Towards a good notion of categories of logics.
CoRR
Caio de Andrade Mendes, Hugo Luiz Mariano
2013 J jnl
The Boolean and profinite hulls of reduced special groups.
Log. J. IGPL
Hugo Luiz Mariano, Francisco Miraglia
2011 J jnl
The Profinite Hull of Special Groups and Local-Global Principles.
Stud Logica
Hugo Luiz Mariano, Francisco Miraglia
2007 J jnl
A Global Glance on Categories in Logic.
Logica Universalis
Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano
2007 J jnl
Profinite Structures are Retracts of Ultraproducts of Finite Structures.
Reports Math. Log.
Hugo Luiz Mariano, Francisco Miraglia
2005 — conf
Fibring and Sheaves.
IICAI
Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano