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 | 13 | 2017 |
Representation theory of logics: a categorial approach HL Mariano, DC Pinto arXiv preprint arXiv:1405.2429, 2014 | 12 | 2014 |
Finitary filter pairs and propositional logics P Arndt, HL Mariano, DC Pinto South American Journal of Logic 4 (2), 257–280, 2018 | 5 | 2018 |
Remarks on Propositional Logics and the categorial relationship between Institutions and {\Pi}-Institutions DC Pinto, HL Mariano arXiv preprint arXiv:1611.01648, 2016 | 4 | 2016 |
Filter pairs and natural extensions of logics P Arndt, HL Mariano, DC Pinto Archive for Mathematical Logic 62 (1), 113-145, 2023 | 3 | 2023 |
A survey on categories of logics and algebraizable logics DC Pinto São Paulo Journal of Mathematical Sciences 9, 76-96, 2015 | 3 | 2015 |
Congruence filter pairs, adjoints and Leibniz hierarchy P Arndt, HL Mariano, DC Pinto arXiv preprint arXiv:2109.01065, 2021 | 2 | 2021 |
More on categorial forms of the axiom of choice ABM Brunner, HL Mariano, DC Pinto, SG Silva South American Journal of Logic 4 (2), 351–372, 2018 | 2 | 2018 |
A categorial foundation for a representation theory of logics DC Pinto, HL Mariano PhD thesis, University of Sao Paulo, Brazil, 2016 | 2 | 2016 |
Congruence filter pairs, equational filter pairs and adjoints P Arndt, H Luiz Mariano, DC Pinto Journal of Logic and Computation, exae002, 2024 | 1 | 2024 |
Horn filter pairs and Craig interpolation in propositional logic P Arndt, HL Mariano, DC Pinto Boletín de Matemáticas 30 (2), 2023 | 1 | 2023 |
Connecting abstract logics and adjunctions in the theory of (-)institutions: some theoretical remarks and applications GB Rios, DA Souza, DC Pinto, HL Mariano arXiv preprint arXiv:2002.00298, 2020 | 1 | 2020 |
Horn filter pairs and Craig interpolation property P Arndt, HL Mariano, DC Pinto Book of Abstracts, 2019 | 1 | 2019 |
Beyond the categorial forms of the Axiom of Choice ABM Brunner, DC Pinto, SG Silva, HL Mariano Handbook of abstracts, 2018 | 1 | 2018 |
κ-filter pairs and non-finitary logics P Arndt, HL Mariano, DC Pinto Handbook of abstracts, 2018 | 1 | 2018 |
An abstract approach to Glivenko's theorem DC Pinto, HL Mariano arXiv preprint arXiv:1612.03410, 2016 | 1 | 2016 |
Dualidade generalizada de Esakia com aplicaçoes DC Pinto Instituto de Matemática, 2016 | 1 | 2016 |
Distributive abstract logics and the Esakia duality A Brunner, DC Pinto arXiv preprint arXiv:1408.3604, 2014 | 1 | 2014 |
Representation theory of logics: a categorial approach DC Pinto, HL Mariano arXiv preprint arXiv:1405.2429, 2014 | 1 | 2014 |
Filter functors in logic and applications to categorial analysis of meta-logic properties. P Arndt, R Jansana, HL Mariano, DC Pinto in preparation, 0 | 1 | |