Hugo Luiz Mariano

According to our database, Hugo Luiz Mariano authored at least 17 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2023

Filter pairs and natural extensions of logics.

Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto

Arch. Math. Log., 2023

2022

On superrings of polynomials and algebraically closed multifields.

Kaique Matias de Andrade Roberto, 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

Horn-geometric axioms for faithfully quadratic rings.

Hugo Rafael de Oliveira Ribeiro, Hugo Luiz Mariano

FLAP, 2022

An algebraic (set) theory of surreal numbers, I.

Dimi Rocha Rangel, 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

Induced morphisms between Heyting-valued models.

José Goudet Alvin, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano

FLAP, 2022

2019

Formalizing the Curry-Howard Correspondence.

Juan Ferrer Meleiro, Hugo Luiz Mariano

CoRR, 2019

2017

Algebraizable logics and a functorial encoding of its morphisms.

Darllan Conceição Pinto, Hugo Luiz Mariano

Log. J. IGPL, 2017

Categorial forms of the Axiom of Choice.

Andreas B. M. Brunner, Hugo Luiz Mariano, Samuel G. Da Silva

Log. J. IGPL, 2017

2016

Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions.

Darllan Conceição Pinto, Hugo Luiz Mariano

CoRR, 2016

2014

Towards a good notion of categories of logics.

Caio de Andrade Mendes, Hugo Luiz Mariano

CoRR, 2014

2013

The Boolean and profinite hulls of reduced special groups.

Hugo Luiz Mariano, Francisco Miraglia

Log. J. IGPL, 2013

2011

The Profinite Hull of Special Groups and Local-Global Principles.

Hugo Luiz Mariano, Francisco Miraglia

Stud Logica, 2011

2007

Profinite Structures are Retracts of Ultraproducts of Finite Structures.

Hugo Luiz Mariano, Francisco Miraglia

Reports Math. Log., 2007

A Global Glance on Categories in Logic.

Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano

Logica Universalis, 2007

2005

Fibring and Sheaves.

Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005