Affordable Access

Um estudo de C omega em calculo de sequentes e dedução natural

Authors
Publisher
Biblioteca Digital da Unicamp
Publication Date
Keywords
  • Logica Simbolica E Matematica
  • Logica Matematica Não-Classica
  • Logica - Filosofia

Abstract

A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1w, desenvolve-se uma análise de Cw em Cálculo de Seqüentes e Dedução Natural, apresentando como resultados mais destacados os Teoremas de Eliminação do Corte e a de Normalização Forte. Características relevantes são o tratamento dado à negação e a permissividade da definição de prova normal

There are no comments yet on this publication. Be the first to share your thoughts.