Banca de DEFESA: JOÃO FREIRE DANTAS NETO

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : JOÃO FREIRE DANTAS NETO
DATA : 18/10/2018
HORA: 15:00
LOCAL: Auditório do CCET
TÍTULO:

De relações a vizinhanças: um entendimento sobre não-normalidade modal


PALAVRAS-CHAVES:

Estrutura Relacional, Estrutura de Vizinhança, Modalidades, Sistemas de prova.


PÁGINAS: 50
RESUMO:

A busca por estruturas matemáticas que representem comportamentos de determinadas lógicas é importante para um melhor entendimento dessas lógicas. Ao modicarmos essas lógicas acrescentando modalidades, precisamos de outras estruturas para representa- las, como estruturas relacionais para lógica modal normal. Quando trabalhamos com lógicas modais não-normais, as estruturas de vizinhança conseguem representar a parcela dessas lógicas, as lógicas modais clássicas. Neste trabalho, estudamos como se dá a construção de estruturas de vizinhança para algumas lógicas modais não-normais, com o objetivo relacionar estruturas semânticas e sistemas de provas, buscando entender sistemas de provas que internalizam linguagem semântica.


MEMBROS DA BANCA:
Presidente - 1143603 - ELAINE GOUVEA PIMENTEL
Externo à Instituição - MARIO ROBERTO FOLHADELA BENEVIDES - UFRJ
Externo ao Programa - 1048318 - SAMIR BEZERRA GORSKY
Notícia cadastrada em: 26/09/2018 09:42
SIGAA | Superintendência de Tecnologia da Informação - | | Copyright © 2006-2023 - UFRN - sigaa27-producao.info.ufrn.br.sigaa27-producao