Hugo Luiz Mariano

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 11

Top Topics

Encoding Scheme

Propositional Logic

Hermite Transform

Top Venues

Publications

Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto
Filter pairs and natural extensions of logics. Arch. Math. Log. 62 (1) (2023)
José Goudet Alvin, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano
Induced morphisms between Heyting-valued models. FLAP 9 (1) (2022)
Jean Cerqueira Berni, Rodrigo Figueiredo, Hugo Luiz Mariano
-rings and applications. FLAP 9 (1) (2022)
Dimi Rocha Rangel, Hugo Luiz Mariano
An algebraic (set) theory of surreal numbers, I. FLAP 9 (1) (2022)
Kaique Matias de Andrade Roberto, Hugo Luiz Mariano
On superrings of polynomials and algebraically closed multifields. FLAP 9 (1) (2022)
Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano
Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications. FLAP 9 (1) (2022)
Hugo Rafael de Oliveira Ribeiro, Hugo Luiz Mariano
Horn-geometric axioms for faithfully quadratic rings. FLAP 9 (1) (2022)
Juan Ferrer Meleiro, Hugo Luiz Mariano
Formalizing the Curry-Howard Correspondence. CoRR (2019)
Andreas B. M. Brunner, Hugo Luiz Mariano, Samuel G. Da Silva
Categorial forms of the Axiom of Choice. Log. J. IGPL 25 (4) (2017)
Darllan Conceição Pinto, Hugo Luiz Mariano
Algebraizable logics and a functorial encoding of its morphisms. Log. J. IGPL 25 (4) (2017)
Darllan Conceição Pinto, Hugo Luiz Mariano
Remarks on Propositional Logics and the categorial relationship between Institutions and Π-Institutions. CoRR (2016)
Caio de Andrade Mendes, Hugo Luiz Mariano
Towards a good notion of categories of logics. CoRR (2014)
Hugo Luiz Mariano, Francisco Miraglia
The Boolean and profinite hulls of reduced special groups. Log. J. IGPL 21 (2) (2013)
Hugo Luiz Mariano, Francisco Miraglia
The Profinite Hull of Special Groups and Local-Global Principles. Stud Logica 97 (1) (2011)
Hugo Luiz Mariano, Francisco Miraglia
Profinite Structures are Retracts of Ultraproducts of Finite Structures. Reports Math. Log. 42 (2007)
Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano
A Global Glance on Categories in Logic. Logica Universalis 1 (1) (2007)
Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano
Fibring and Sheaves. IICAI (2005)