Busca avançada
Ano de início
Entree

Normalização das lógicas paraconsistentes de Da Costa

Processo: 99/03213-6
Linha de fomento:Bolsas no Brasil - Doutorado
Vigência (Início): 01 de junho de 1999
Vigência (Término): 31 de maio de 2003
Á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: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil

Resumo

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 natural aplicado às lógicas proposicionais para consistentes Cn"; introduzir uma hierarquia de sistemas de dedução natural quantificacional de primeira ordem sem igualdade DNCn* (1≤n≤w), no estilo Jaskowski-Gentzen, usando o método das provas subordinadas (FITCH, 1952) que estendam a hierarquia DNCn (1≤n≤w) e sejam equivalentes à hierarquia Cn* (1≤n≤w) de cálculos quantificacionais de primeira ordem sem igualdade de da Costa; demonstrar um Teorema de Normalização para a hierarquia dos sistemas quantificacionais para consistentes de dedução natural DNCn *(1≤n≤w). (AU)

Publicações acadêmicas
(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)
CASTRO, Milton Augustinis de. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa. 2004. Tese de Doutorado - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciencias Humanas.

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.