Busca avançada
Ano de início
Entree

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

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)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.