Banca de DEFESA: DAVID GOMES COSTA

Uma banca de DEFESA foi cadastrada pelo programa.

DISCENTE: DAVID GOMES COSTA

DATA: 15/10/2010

HORA: 09:00

LOCAL: AUDITORIO A - ANEXO DO CCHLA

TÍTULO:

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


PALAVRAS-CHAVES:

.


PÁGINAS: 117

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 - 033.724.644-00 - JOSE EDUARDO DE ALMEIDA MOURA
Externo à Instituição - LUIZ CARLOS DIAS PINHEIRO PEREIRA - PUC - RJ
Presidente - 1149449 - MARIA DA PAZ NUNES DE MEDEIROS
Notícia cadastrada em: 08/07/2010 16:24
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa10-producao.info.ufrn.br.sigaa10-producao