CV Lattes
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
possui mestrado em Matemática pela Ludwig-Maximiliains-Universitaet Muenchen (1993) na área de análise complexa e doutorado em Matemática pela Universidade de São Paulo (2000) na área de lógica matemática. Atualmente é Professor Titular da Universidade Federal da Bahia. Tem experiência na área de Matemática, com ênfase em Matemática Pura, na área de Álgebra e Lógica Matemática. Pesquiso e oriento principalmente nos seguintes assuntos: teoria das categorias, axioma de escolha em categorias, lógicas clássica e não-clássicas, alguns lógicas paraconsistentes e a lógica intuicionista de Brouwer-Heyting, lógicas abstratas, teoria dos modelos em (pré-)feixes de L-estruturas sobre uma álgebra de Heyting completa. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O presente projeto de pesquisa consiste em investigar distintas abordagens para a questão de prover novas semânticas para Lógicas Não-Clássicas, dentro do qual em particular nos interessará estudar a possibilidade de obter boas semânticas para as Lógicas Paraconsistentes, no espírito das semânticas de traduções possíveis. Considerando que a semântica de Kripke pode ser relacionada com a L…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |