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:

From relations to neighborhoods: a understatement about non-normal modalities and intuitionism


PALAVRAS-CHAVES:

Relational Frame, Neighborhood Frame, Modalities, Intuitionistic.


PÁGINAS: 50
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Matemática
RESUMO:
The search for mathematical structures to represent some logics is important for a better understatement from these logics. In classical and intuitionistic logics these structures are well know. When we use modalities to generate other logics we need other structures to represent them, as relational frames for normal modal logic. This logic has it importance in computer science. For example when we have non-normal modalities we need neighborhood frames to represent logics that are extensions of the E axiom. In this work we search for how to construct neighborhood frames for non-normal modal logic and how we can construct frames to represent non-normal modal intuitionistic logic from the construction of birrelational frames for normal modal intuitionist logic.
 

MEMBROS DA BANCA:
Interno - 2114893 - CARLOS ALBERTO OLARTE VEGA
Presidente - 1143603 - ELAINE GOUVEA PIMENTEL
Externo à Instituição - RENATA PEREIRA DE FREITAS - UFF
Notícia cadastrada em: 16/10/2017 16:43
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa09-producao.info.ufrn.br.sigaa09-producao