| Processo: | 05/60568-4 |
| Linha de fomento: | Bolsas no Brasil - Pós-Doutorado |
| Vigência (Início): | 01 de junho de 2006 |
| Vigência (Término): | 31 de maio de 2008 |
| Área do conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Itala Maria Loffredo D'Ottaviano |
| Beneficiário: | Milton Augustinis de Castro |
| Instituição-sede: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Vinculado ao auxílio: | 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications, AP.TEM |
Resumo 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 existentes na literatura, em cálculo de sequentes, para as lógicas paraconsistentes Cn e Cn* de da Costa, e reavaliar os problemas neles identificados. (AU) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias (0 total): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |