Banca de QUALIFICAÇÃO: DAVID GOMES COSTA

Uma banca de QUALIFICAÇÃO foi cadastrada pelo programa.

DISCENTE: DAVID GOMES COSTA

DATA: 17/11/2009

HORA: 14:00

LOCAL: AUDITORIO DE FILOSOFIA - CCHLA

TÍTULO:

SISTEMAS DE LÓGICA MODAL EM DEDUÇÃO NATURAL

PALAVRAS-CHAVES:

.

PÁGINAS: 90

GRANDE ÁREA: Ciências Humanas

ÁREA: Filosofia

SUBÁREA: Lógica

RESUMO:

A formalizacao de sistemas de logica em deducao natural traz muitas vantagens meta-teoreticas, das quais e sempre destacada a prova de normalizacao. Os sistemas de logica modal ate bem recentemente nao eram costumeiramente tratados pelo vies da deducao natural, contudo algumas formulacoes, provas de normalizacao e tentativas de provas surgiram. Esse trabalho e uma apresentacao de alguns sistemas importantes de logica modal em deducao natural ja existentes, e de alguns procedimentos de normalizacao para eles, mas e tambem, e principalmente, a apresentacao de uma hierarquia de sistemas de logica modal em Deducao Natural do sistema K ao sistema S5 e um esquema da prova de normalizacao do sistema K, que e modelo para a normalizacao nos outros sistemas.

MEMBROS DA BANCA:
Interno - 1451225 - DANIEL DURANTE PEREIRA ALVES
Interno - 033.724.644-00 - JOSE EDUARDO DE ALMEIDA MOURA
Presidente - 1149449 - MARIA DA PAZ NUNES DE MEDEIROS