Programa de Pós-Graduação em Matemática

Caio de Andrade Mendes

Tem experiência na área de Matemática, com ênfase em Lógica Matemática e Teoria das Categorias. (Texto informado pelo autor)

http://lattes.cnpq.br/9248107196758737 (12/08/2024)

Rótulo/Grupo:

Bolsa CNPq:

Período de análise:

Endereço:

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 (1)
1. MENDES, C. A.; MARIANO, H. L.. Analyzing Categories of Signatures. SOUTH AMERICAN JOURNAL OF LOGIC. v. 4, p. 407-421, 2018.Qualis: B2
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 (2)
1. ALVIM, J. G. ; MENDES, C. A. ; MARIANO, H. L.. On categories of quantale valued sets. Em: First Meeting Brazil-Colombia in Logic, 2023, Bogotá. Boletin de Matematicas, v. 30, p. 1-7, 2023. Qualis: Não identificado (FIRST MEETING BRAZIL-COLOMBIA IN LOGIC, 2023, BOGOTÁ. BOLETIN DE MATEMATICAS)
2. MARIANO, H. L. ; MENDES, C. A.. Towards a good notion of category of logics. Em: TACL 2011 - The fifth International Confererence on Topology, Algebra and Categories in Logic, 2011, Marselha. TACL 2011 - The fifth International Confererence on Topology, Algebra and Categories in Logic.Towards a good notion of category of logics. Marselha, p. 207-210, 2011. Qualis: Não identificado (TACL 2011 - THE FIFTH INTERNATIONAL CONFERERENCE ON TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC, 2011, MARSELHA. TACL 2011 - THE FIFTH INTERNATIONAL CONFERERENCE ON TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC.TOWARDS A GOOD NOTION OF CATEGORY OF LOGICS. MARSELHA)
Resumos publicados em anais de congressos (0)
Artigos aceitos para publicação (2)
1. ALVIM, J. G. ; MENDES, C. A. ; MARIANO, H. L.. Quantale valued sets: Categorical Constructions and Properties. Studia Logica. 2024. Qualis: Não identificado (STUDIA LOGICA)
2. LUIZA TENORIO, ANA ; DE ANDRADE MENDES, CAIO ; LUIZ MARIANO, HUGO. On sheaves on semicartesian quantales and their truth values. JOURNAL OF LOGIC AND COMPUTATION. 2024. Qualis: A3
Apresentações de trabalho (0)
Demais tipos de produção bibliográfica (0)

Produção técnica

Programas de computador com registro (0)
Programas de computador sem registro (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 (0)
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 (0)
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (0)

Prêmios e títulos

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

Participação em eventos

Total de participação em eventos (8)
1. 20th Brazilian Logic Conference - EBL2022. Exploring two completeness conditions on quantale valued sets. 2022. (Congresso).
2. Semana Temática de Lógica, Conjuntos e Topologia 2020. Sheaf-Like Categories and connections with continuous logic. 2020. (Congresso).
3. 19th Brazilian Logic Conference - EBL 2019. Algebraizing Higher-Order Logics. 2019. (Congresso).
4. Semana Temática de Lógica, Conjuntos e Topologia 2019. Algebraizing Higher-Order Logics. 2019. (Congresso).
5. Semana Temática de Lógica, Conjuntos e Topologia 2018. An Abstract Approach to Algebraizable Logics with Quantifiers. 2018. (Congresso).
6. 18th Brazilian Logic Conference - EBL 2017. Applications of the abstract Glivenko's theorem in the Rieger-Nishimura lattice. 2017. (Congresso).
7. 1o Workshop ?Foundations of Mathematics and Applications?.Applications of the abstract Glivenko's theorem in the Rieger-Nishimura lattice. 2017. (Oficina).
8. 17th Brazilian Logic Conference - EBL 2014.Towards a good notion of categories of logics. 2014. (Seminário).

Organização de eventos

Total de organização de eventos (0)

Lista de colaborações

Colaborações endôgenas (0)

(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 12/02/2025 20:35:29