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 graduação em Licenciatura Plena em Matemática com habilitação em Física pela Universidade Estadual Paulista Júlio de Mesquita Filho (2008), mestrado em Pós-Graduação - Strictu Senso - Filosofia na área de Lógica pela Universidade Estadual Paulista Julia de Mesquita Filho Câmpus Marília (2011) e Doutorado em Filosofia na área de Lógica na Universidade Estadual de Campinas (UNICAMP) (2017). Tem experiência na área de Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: lógicas moduladas, lógica do pouco, lógicas não-clássicas, lógica do muito, quantificador poucos, lógicas paraconsistentes, lógicas 3 e 4 valoradas, programação lógica, programação lógica paraconsistente. Lecionou em escolas públicas e particulares aulas de Matemática e Física e na Unesp de Bauru lecionou Cálculo II e III. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias (0 total): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
A partir da interação entre áreas como Ciência da Computação, Lógica e Dedução Automática nasce uma importante nova área denominada Programação Lógica. Esta vem sendo utilizada continuamente no estudo teórico e em aplicações concretas em diversos ramos da Inteligência Artificial. Após o aumento do número de tipos de lógicas não-clássicas e com a certeza de que o pensamento humano não se l…
A busca pela formalização de alguns conceitos de quantificação da linguagem natural, tais como "muitos", "poucos", "maioria", "quase todos", entre outros, tem despertado o interesse de lógicos e lingüistas. A lógica clássica de primeira ordem não consegue formalizar esses conceitos; para isso alguns pesquisadores têm tratado com lógicas não-clássicas tentando formalizar e sistematizar tai…
| 2 | Bolsas no país concluídas |
| Processos vinculados | |