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

• Processo: 99/03213-6
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de junho de 1999
• Data de Término da vigência: 31 de maio de 2003
• Á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: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Deducao Natural | Logicas Nao-Classicas | Logicas Paraconsistentes | Normalizacao

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 Ciências Humanas Campinas, SP.