Please use this identifier to cite or link to this item: https://repositorio.ufrn.br/jspui/handle/123456789/26312
Title: De relações a vizinhanças: um entendimento sobre não-normalidade modal
Other Titles: From relations to neighborhoods: understanding non-normal modalities
Authors: Dantas Neto, João Freire
Keywords: Estrutura relacional;Estrutura de vizinhança;Modalidades;Sistemas de prova
Issue Date: 18-Oct-2018
Citation: DANTAS NETO, João Freire. De relações a vizinhanças: um entendimento sobre não-normalidade modal. 2018. 73f. Dissertação (Mestrado em Matemática Aplicada e Estatística) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2018.
Portuguese Abstract: 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.
Abstract: The quest for mathematical structures to represent some logical behaviors is important for a better understanding of these logics. For example, propositional classical logic can be characterized by Boolean Algebras. When adding modalities to classical logic, we need other structures to represent them, as relational frames for normal modal logics, for example in the case of non-normal modalities, we need neighborhood frames to represent classical modal logics. In this work we investigate neighborhood frames for non-normal modal logics, with the goal to relate frame semantics with proof systems. Moreover we aim to understand proof systems with semantic language internalized.
URI: https://repositorio.ufrn.br/jspui/handle/123456789/26312
Appears in Collections:PPGMAE - Mestrado em Matemática Aplicada e Estatística

Files in This Item:
File Description SizeFormat 
Relaçõesvizinhançasentendimento_DantasNeto_2018.pdf723.64 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.