Remarks on propositional logics and the categorial relationship between institutions and Π-institutions DC Pinto, HL Mariano South American Journal of Logic 3 (1), 111–121, 2017 | 34 | 2017 |
A global glance on categories in logic P Arndt, RA Freire, OO Luciano, HL Mariano | 23 | 2007 |
Functorial relationships between multirings and the various abstract theories of quadratic forms HRO Ribeiro, KMA Roberto, HL Mariano São Paulo Journal of Mathematical Sciences, 1-38, 2020 | 16 | 2020 |
Algebraizable Logics and a functorial encoding of its morphisms D Conceição Pinto, H Luiz Mariano Logic Journal of the IGPL 25 (4), 524-561, 2017 | 15 | 2017 |
The von Neumann-Regular Hull of (Preordered) Rings and Quadratic Forms P Arndt, HL Mariano South American Journal of Logic 2 (2), 201-244, 2016 | 15 | 2016 |
Profinite structures are retracts of ultraproducts of finite structures. HL MARIANO, F MIRAGLIA Reports on Mathematical Logic 42, 171-184, 2007 | 14 | 2007 |
Quadratic structures associated to (multi) rings KMDA Roberto, HRDO Ribeiro, HL Mariano Categories and General Algebraic Structures with Applications 16 (1), 105-141, 2022 | 12 | 2022 |
Representation theory of logics: a categorial approach HL Mariano, DC Pinto arXiv preprint arXiv:1405.2429, 2014 | 12 | 2014 |
A universal algebraic survey of C∞− rings JC Berni, HL Mariano Latin American Journal of Mathematics 1 (01), 8-39, 2022 | 11 | 2022 |
Topics on smooth commutative algebra JC Berni, HL Mariano arXiv preprint arXiv:1904.02725, 2019 | 11 | 2019 |
Towards a good notion of categories of logics CA Mendes, HL Mariano arXiv preprint arXiv:1404.3780, 2014 | 11 | 2014 |
K-theories and free inductive graded rings in abstract quadratic forms theories KMA Roberto arXiv preprint arXiv:2404.05750, 2024 | 10 | 2024 |
On superrings of polynomials and algebraically closed multifields KMA Roberto, HL Mariano arXiv preprint arXiv:2111.12195, 2021 | 10 | 2021 |
Towards a good notion of categories of logics HL Mariano, CA Mendes preparation. Preliminary version in the conference book of” The fifth …, 2011 | 9 | 2011 |
On the Category of Algebraizable Logics P Arndt, RA Freire, OO Luciano, HL Mariano CLE e-prints 6 (1), 24 pages, 2006 | 9 | 2006 |
On profinite structures HL Mariano, F Miraglia The Many Sides of Logic 21, 201-224, 2009 | 8 | 2009 |
Fibring and sheaves. P Arndt, R de Alvarenga Freire, OO Luciano, HL Mariano IICAI, 1679-1698, 2005 | 8 | 2005 |
Classifying toposes for some theories of'C POT.∞'− rings JC Berni, HL Mariano South American Journal of Logic 4 (2), 313–350, 2018 | 7 | 2018 |
Finitary filter pairs and propositional logics P Arndt, HL Mariano, DC Pinto South American Journal of Logic 4 (2), 257–280, 2018 | 7 | 2018 |
Contribuições à teoria dos Grupos Especiais HL Mariano | 7 | 2003 |