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
MILTON AUGUSTINIS DE CASTRO CONCLUIU O DOUTORADO EM FILOSOFIA PELA UNIVERSIDADE ESTADUAL DE CAMPINAS EM 2004. ATUALMENTE E ESTUDANTE DA UNIVERSIDADE ESTADUAL DE CAMPINAS. PUBLICOU 3 ARTIGOS EM PERIODICOS ESPECIALIZADOS E 8 TRABALHOS EM ANAIS DE EVENTOS. POSSUI . PARTICIPOU DE 2 EVENTOS NO EXTERIOR E 7 NO BRASIL. ATUALMENTE PARTICIPA DE 1 PROJETO DE PESQUISA. ATUA NA AREA DE FILOSOFIA, COM ENFASE EM LOGICA MATEMATICA. EM SUAS ATIVIDADES PROFISSIONAIS INTERAGIU COM 1 COLABORADOR EM CO-AUTORIA DE TRABALHOS CIENTIFICOS. EM SEU CURRICULO LATTES OS TERMOS MAIS FREQUENTES NA CONTEXTUALIZACAO DA PRODUCAO CIENTIFICA, TECNOLOGICA E ARTISTICO-CULTURAL SAO: LOGICA PARACONSISTENTE, SISTEMAS DE TABLEAUX, DEDUCAO NATURAL, TEORIA DA PROVA, LOGICA MATEMATICA, HIERARQUIA DE SISTEMAS DE DEDUCAO NATURAL, NORMALIZACAO, TABLEAUX ANALITICOS, CALCULO DE SEQUENTES E REGRA DO CORTE. (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 objetivo central deste projeto de pesquisa consiste em introduzir hierarquias de sistemas de sequentes equivalents aos sistemas proposicionais e quantificacionais paraconsistentes axiomáticos Cn e Cn*, 1≤n≤w, de da Costa; demonstrar um Teorema de Eliminação do Corte (Hauptsatz) para os sistemas de sequentes e obter algumas consequências da prova do Hauptsatz; e reanalisar os trabalhos e…
Os objetivos centrais deste projeto de pesquisa são demonstrar um Teorema da Normalização para a hierarquia dos sistemas proposicionais para consistentes de dedução natural DNCn (1≤n≤w), equivalentes aos sistemas axiomáticos de lógicas preposicionais para consistentes Cn (1≤n≤w) de da Costa e introduzidos em nossa dissertação de Mestrado "O método de dedução natura…
| 2 | Bolsas no país concluídas |
| Processos vinculados | |