Banca de QUALIFICAÇÃO: JOÃO FREIRE DANTAS NETO

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : JOÃO FREIRE DANTAS NETO
DATA : 20/10/2017
HORA: 14:00
LOCAL: Sala de seminários do DMAT
TÍTULO:

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

PALAVRAS-CHAVES:

Estrutura Relacional, Estrutura de Vizinhança, Modalidades, Intuicionismo.

PÁGINAS: 50
RESUMO:

A busca por estruturas matemáticas que representam comportamentos de determinadas lógicas é de importância para um melhor entendimento dessas lógicas. Na lógica clássica e na lógica intuicionista essas estruturas são bem conhecidas. Ao modificarmos essas lógicas acrescentando modalidades precisamos de outras estruturas para representá-las, como estruturas relacionais para lógica modal normal, essas lógicas são importantes na ciência da computação. Por exemplo quando trabalhamos com lógicas modais não-normais as estruturas de vizinhança conseguem representar a parcela dessas lógicas que são extensões do axioma E. Neste trabalho estudamos então como se dá a construção de estruturas de vizinhança para algumas lógicas modais não-normais e como podemos construir estruturas que representam lógica modal não-normal intuicionista a partir da construção conhecida de estruturas birrelacionais da lógica modal normal intuicionista.

MEMBROS DA BANCA:
Interno - 2114893 - CARLOS ALBERTO OLARTE VEGA
Presidente - 1143603 - ELAINE GOUVEA PIMENTEL
Externo à Instituição - RENATA PEREIRA DE FREITAS - UFF