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

AUTOR(ES)

Jose Eduardo de Almeida Moura

DATA DE PUBLICAÇÃO

2001

RESUMO

Following Raggio s 1968 and 1978 papers on Cn1w systems, it isdeveloped here an analysis of Cw in Sequent Calculus and Natural Deduction, presenting respectively the Cut Elimination and the Strong Normalization Theorems as main results. Relevant characteristics are the treatment applied to negation and the permissibility of normal proof definition

ASSUNTO(S)

logica simbolica e matematica logica - filosofia logica matematica não-classica

Documentos Relacionados

• Sistemas de lógica modal em dedução natural
• Estudo experimental do aquecimento adequado de solução cristaloide por micro-ondas e dedução de equação para seu cálculo
• Desenvolvimento de um aplicativo para cÃlculo dos custos de torneamento
• Uma investigação acerca das regras para a negação e o absurdo em dedução natural
• O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn