Tese
- Autor
- COSME DAMIAO BASTOS MASSI
- Universidade
- UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
- Programa
- LOGICA E FILOSOFIA DA CIENCIA
- Grau
- DOUTORADO
- Ano
- 1990
1990COSME DAMIAO BASTOS MASSI. PROVAS DE NORMALIZACAO PARA A LOGICA CLASSICA.. 1990. Tese (DOUTORADO em LOGICA E FILOSOFIA DA CIENCIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP.4
O OBJETIVO DA TESE E FORNECER PROVAS DE NORMALIZACAO PARA A LOGICA CLASSICA DE PRIMEIRA ORDEM. FORNECEMOS UMA PROVA DIRETA DO TEORIA DE NORMALIZACAO SIMPLES PARA O SISTEMA COMPLETO E UMA OUTRA PROVA VIA CALCULO DOS SEQUENTES. TRES PROVAS DE NORMALIZACAO FORTE SAO APRESENTADAS : A) PROVA SEMANTICA, USANDO O CONCEITO DE """"STRONG VALIDITY"""", DE PRAWITZ B) PROVA SINTATICA, USANDO UMA TECNICA DE GIRARD. C) PROVA DE NORMALIZACAO FORTE VIA PIOR SEQUENCIA DE REDUCAO.
Palavras-chave: