Banca de DEFESA: JORGE SOARES DE FARIAS JUNIOR

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: JORGE SOARES DE FARIAS JUNIOR
DATA : 23/08/2024
HORA: 09:00
LOCAL: Virtual
TÍTULO:

Um Estudo dos N-Grafos para a Lógica de Primeira Ordem

PALAVRAS-CHAVES:

N-grafos. Primeira Ordem. Lógica. Métodos de Prova. Grafos

PÁGINAS: 129
RESUMO:

Este trabalho apresenta propostas de regras e definições para os N-grafos na lógica de primeira ordem. O estudo faz um levantamento abrangente dos métodos de prova nos quais os N-grafos são baseados, incluindo dedução natural, cálculo de sequentes e proof-nets. Assim como as proof-nets, os N-grafos são sistemas de provas geométricos, tornando essencial o seu estudo detalhado. A pesquisa se aprofunda nas linguagens de primeira ordem associadas a esses métodos, buscando adaptar suas características e restrições para a estrutura dos N-grafos. O objetivo é desenvolver uma linguagem específica que permita uma representação eficiente e robusta dos N-grafos, contribuindo para a melhoria dos sistemas de inferência lógica.

MEMBROS DA BANCA:
Presidente - 479992 - FREDERICO LUIZ GONCALVES DE FREITAS
Externo à Instituição - GLEIFER VAZ ALVES - UTFPR
Externo à Instituição - RUAN VASCONCELOS BEZERRA CARVALHO - UFRPE