Sistemas de sequentes para as hierarquias paraconsistentes Cn e Cn* de da Costa

• Processo: 05/60568-4
• Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado
• Data de Início da vigência: 01 de junho de 2006
• Data de Término da vigência: 31 de maio de 2008
• Área de 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
• Palavra(s)-Chave do Pesquisador: Calculos De Sequentes | Equivalencia De Sistemas | Logicas Paraconsistentes

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)