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

• Ano de defesa: 2018
• Autor(a) principal: Dantas Neto, João Freire
• Orientador(a): Pimentel, Elaine Gouvea
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Programa de Pós-Graduação: PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA
• País: Brasil
• Palavras-chave em Português: Estrutura relacional; Estrutura de vizinhança; Modalidades; Sistemas de prova
• Área do conhecimento CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA APLICADA E ESTATÍSTICA
• Link de acesso: https://repositorio.ufrn.br/jspui/handle/123456789/26312

A busca por estruturas matemáticas que representem comportamentos de determinadas lógicas é importante para um melhor entendimento dessas lógicas. Por exemplo, lógica clássica proposicional que pode ser caracterizada utilizando Álgebras de Boole. Ao acrescentarmos modalidades à lógica clássica, precisamos de outras estruturas para representá-las, como estruturas relacionais para lógica modal normal, por exemplo 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ãonormais, com o objetivo relacionar estruturas semânticas e sistemas de provas, buscando entender sistemas de provas que internalizam linguagem semântica.