POS-MAT - Producao Academica dos Ex-Alunos do Programa de Pos-Graduacao em Matemática

Darllan Conceicao Pinto

Possui graduação em Matemática pela Universidade Federal da Bahia (2010), mestrado em Matemática pela Universidade Federal da Bahia (2012) e doutorado em Matemática pela Universidade de São Paulo (2016). Atualmente é adjunto a da Universidade Federal da Bahia. Tem experiência na área de Matemática, com ênfase em Lógica Matemática, atuando principalmente nos seguintes temas: categories of logics, abstract algebraic logic e institutions theory. (Texto informado pelo autor)

http://lattes.cnpq.br/5069015940183841 (24/09/2020)

Rótulo/Grupo:

Bolsa CNPq:

Período de análise:

Endereço: Universidade Federal da Bahia, Instituto de Matemática e Estatística - Departamento de Matemática. Rua Presidente Kennedy Barra 40130200 - Salvador, BA - Brasil Telefone: (71) 991165135

Grande área: Ciências Exatas e da Terra

Área: Matemática

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (5)
1. BRUNNER, A. B. M. ; MARIANO, H. L. ; PINTO, D. C. ; DA SILVA, S. G.. More on Categorial Forms of the Axiom of Choice. SOUTH AMERICAN JOURNAL OF LOGIC. v. 4, p. 351-372, issn: 2446-6719, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: C
2. ARNDT, P. ; MARIANO, H. L. ; PINTO, D. C.. Finitary Filter Pairs and Propositional Logics. SOUTH AMERICAN JOURNAL OF LOGIC. v. 4, p. 257-280, issn: 2446-6719, 2018.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: C
3. CONCEIÇÃO PINTO, DARLLAN; LUIZ MARIANO, HUGO. Algebraizable logics and a functorial encoding of its morphisms. LOGIC JOURNAL OF THE IGPL (ONLINE). v. 25, p. 524-561, issn: 1368-9894, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: Não identificado (LOGIC JOURNAL OF THE IGPL (ONLINE))
4. PINTO, D. C.; MARIANO, H. L.. Remarks on Propositional Logics and the Categorial Relashionship Between Institutions and Pi-Isntitutions. SOUTH AMERICAN JOURNAL OF LOGIC. v. 3, p. 111, issn: 2446-6719, 2017.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: C
5. PINTO, DARLLAN C. A survey on categories of logics and algebraizable logics. São Paulo Journal of Mathematical Sciences. v. 9, p. 76-96, issn: 1982-6907, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
  Qualis: B3
Livros publicados/organizados ou edições (0)
Capítulos de livros publicados (0)
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (0)
Resumos expandidos publicados em anais de congressos (0)
Resumos publicados em anais de congressos (3)
1. PINTO, D. C.; MARIANO, H. L.. Algebraizable Logics and a functorial encoding of its morphisms. Em: 5th UNILOG- 5thUniversal Logic, 2015, Istambul. Handbook of the 5th World Congress and School on Universal Logic, p. 371-372, 2015.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. MARIANO, H. L. ; PINTO, D. C.. Representation theory of logics: a categorial approach. Em: 17o Encontro Brasileiro de Lógica, 2014, 2014.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. MARIANO, H. L. ; PINTO, D. C.. Representation theory of logics: a categorial approach. Em: 4th UNILOG- 4th Universal Logic, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic, p. 365-366, 2013.
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
Artigos aceitos para publicação (0)
Apresentações de trabalho (13)
1. PINTO, D. C.; MARIANO, H. L.. Abstraindo o Teorema (Tradução) de Glivenko. 2020. Apresentação de Trabalho/Congresso
2. PINTO, D. C.; ARNDT, P. ; MARIANO, H. L.. HORN FILTER PAIRS AND CRAIG INTERPOLATION PROPERTY. 2019. Apresentação de Trabalho/Conferência ou palestra
3. PINTO, D. C.; BRUNNER, A. B. M. ; MARIANO, H. L. ; DA SILVA, S. G.. BEYOND THE CATEGORIAL FORMS OF THE AXIOM OF CHOICE. 2019. Apresentação de Trabalho/Conferência ou palestra
4. PINTO, D. C. Pares Filtros e Interpolação de Craig. 2017. Apresentação de Trabalho/Congresso
5. ARNDT, P. ; JANSANA, R. ; MARIANO, H. L. ; PINTO, D. C.. Congruential Fillter pair and their relation with Leibniz operator. 2017. Apresentação de Trabalho/Seminário
6. BRUNNER, A. B. M. ; MARIANO, H. L. ; DA SILVA, S. G. ; PINTO, D. C.. The wide universe of poset-form of axiom of choice. 2017. Apresentação de Trabalho/Congresso
7. MARIANO, H. L. ; PINTO, D. C.. Algebraizable Logics and a functorial encoding of its morphisms. 2016. Apresentação de Trabalho/Seminário
8. PINTO, D. C.; MARIANO, H. L. ; ARNDT, P. ; JANSANA, R.. Filter functors in logic and applications to categorial analysis of meta-logic properties. 2016. Apresentação de Trabalho/Congresso
9. PINTO, D. C.; MARIANO, H. L.. Institutions for propositional logics and an abstract approach to Glivenkos theorem. 2016. Apresentação de Trabalho/Congresso
10. PINTO, D. C.; MARIANO, H. L.. Algebraizable Logics and a functorial encoding of its morphisms. 2015. Apresentação de Trabalho/Congresso
11. PINTO, D. C.; MARIANO, H. L.. An abstract approach to Glivenko's theorem. 2015. Apresentação de Trabalho/Congresso
12. PINTO, D. C. Algebraizable Logics and a functorial encoding of its morphisms. 2015. Apresentação de Trabalho/Congresso
13. PINTO, D. C. Representation theory of logics: a categorial approach. 2014. Apresentação de Trabalho/Congresso
Demais tipos de produção bibliográfica (7)
1. ARNDT, P. ; MARIANO, H. L. ; PINTO, D. C.. Filter Pairs and Natural Extensions of Logics. 2020. arXiv
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2. MARIANO, H. L. ; PINTO, D. C. ; RIOS, G. B. ; SOUZA, D. A.. Connecting Abstract Logics and adjunctions between Institutions and #960;-Institutions. 2019. arXiv
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3. MARIANO, H. L. ; PINTO, D. C.. Remarks on Propositional Logics and the categorial relationship between Institutions and $\pi$-Institutions. 2016. arXiv
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4. PINTO, D. C.; MARIANO, H. L.. An abstract approach to Glivenko's theorem. 2016. arXiv
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5. BRUNNER, A. B. M. ; PINTO, D. C.. Distributive abstract logics and the Esakia duality. 2014. arXiv
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6. MARIANO, H. L. ; PINTO, D. C.. Algebraizable Logics and a functorial encoding of its morphisms. 2014. arXiv
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7. MARIANO, H. L. ; PINTO, D. C.. Representation theory of logics: a categorial approach. 2014. arXiv
  [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

Produção técnica

Programas de computador com registro de patente (0)
Programas de computador sem registro de patente (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (0)

Produção artística

Total de produção artística (0)

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (3)
1. Ugo Coutinho Monteiro de Almeida. Semântica de Matrizes para Lógicas Proposicionais e a Hierarquia de Leibniz. . Início: 2020.
  Orientador: Darllan Conceição Pinto.
2. Lucas Oliveira Lisboa de Bulhoes. Estudo das Categorias de Lógica. Iniciação científica (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2020.
  Orientador: Darllan Conceição Pinto.
3. ALOISIO GUIMARAES RIBEIRO. Teoria das Categorias e aplicações. Iniciação científica (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2019.
  Orientador: Darllan Conceição Pinto.
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (2)
1. Lucas Oliveira Lisboa de Bulhoes. Lógicas Algebrizáveis, Categorias de Lógicas e Suas Propriedades. (Graduando em Matemática) - Universidade Federal da Bahia, UFBA. 2019.
  Orientador: Darllan Conceição Pinto.
2. Lucas Oliveira Lisboa de Bulhoes. Lógicas Algebrizáveis: de Lindenbaum-Tarski a Blok-Pigozzi. (Graduando em Matemática) - Universidade Federal da Bahia, UFBA. 2018.
  Orientador: Darllan Conceição Pinto.
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (1)

2018-Atual. Teoria de Representacao de Logicas: Uma abordagem categorial
Descrição: O estudo de lógicas algebricas abstratas teve início com os trabalhos de Boole, De Morgan, Pierce, etc. Na tentativa de entender sistemas dedutivos mais complexos, inicia-se a tratar este através de sistemas menos complexos. Essa foi a maior motivação para um estudo categorial. A maior preocupação no estudo de categorias de lógicas é descrever condições que preservem, pelo método de combinação de lógica, propriedades meta-lógica. Nossa abordagem complementar é estudar os aspectos quot;globaisquot; das categorias de lógicas, em especial a categoria das lógicas Blok-Pigozzi-algebrizáveis. Temos pesquisado sobre a fundamentação de uma teoria de representação de lógicas que consiste em: codificação de morfismos de lógicas algebrizáveis classificando alguns tipos especiais de morfismos; critérios via funtores filtros para obter uma ampla classe de lógicas especiais; e estudo sobre propriedades meta-lógica nas categorias de lógica. Neste projeto pretendemos dar continuidade ao trabalho que estão em artigos publicados e em preparação, pretendendo desenvolver uma teoria de representação de lógica, de forma análoga à teoria de representação para anéis, obtida através de aspectos da teoria das categorias sobre lógicas algebrizáveis, e então estudar propriedades meta-lógica neste contexto.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Darllan Conceição Pinto - Coordenador.
Membro: Darllan Conceicao Pinto.

Prêmios e títulos

Total de prêmios e títulos (0)

Participação em eventos

Total de participação em eventos (10)

Semana Temática de Lógica, Teoria dos Conjuntos e Topologia. Abstraindo o Teorema (Tradução) de Glivenko. 2020. (Congresso).
19º Encontro Brasileiro de Lógica. 2019. (Encontro).
Seminari Predoc.Algebraizable Logics and a functorial encoding of its morphisms. 2016. (Seminário).
Trends in logic XVI. Filter functors in logic and applications to categorial analysis of meta-logic properties. 2016. (Congresso).
5th UNILOG- 5th Universal Logic. Algebraizable Logics and a functorial encoding of its morphisms. 2015. (Congresso).
Category Theory 2015. An abstract approach to Glivenko's theorem. 2015. (Congresso).
XVII. Encontro Brasileiro de Lógica (EBL).Representation theory of logics: The categorial approach. 2014. (Encontro).
IV. World Congress and School on Universal Logic. Representation theory of logics: the categorial approach. 2013. (Congresso).
XI Encontre de Matemática da UFBA.. 2008. (Encontro).
X Encontro de Matemática da UFBa. 2007. (Encontro).

Organização de eventos

Total de organização de eventos (3)

PINTO, D. C.. Semana Temática de Lógica, Conjuntos e Topologia 2018. 2018. (Congresso).. . 0.
PINTO, D. C.. XIII Encontro de Matemática da UFBA. 2010. (Outro).. . 0.
Darllan Pinto ; PINTO, D. C.. XII Encontro de Matemática. 2009. Outro

Lista de colaborações

Colaborações endôgenas (0)

(*) Relatório criado com produções desde 2000 até 2020
Data de processamento: 08/04/2021 13:04:32

Relatório gerado por scriptLattes V8.11. Os resultados estão sujeitos a falhas devido a inconsistências no preenchimento dos CVs Lattes. E-mail de contato: webmaster@ime.usp.br