Use este identificador para citar ou linkar para este item:
https://repositorio.ufrn.br/handle/123456789/26312
Título: | De relações a vizinhanças: um entendimento sobre não-normalidade modal |
Título(s) alternativo(s): | From relations to neighborhoods: understanding non-normal modalities |
Autor(es): | Dantas Neto, João Freire |
Orientador: | Pimentel, Elaine Gouvea |
Palavras-chave: | Estrutura relacional;Estrutura de vizinhança;Modalidades;Sistemas de prova |
Data do documento: | 18-Out-2018 |
Referência: | 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. |
Resumo: | 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 |
Aparece nas coleções: | PPGMAE - Mestrado em Matemática Aplicada e Estatística |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Relaçõesvizinhançasentendimento_DantasNeto_2018.pdf | 723,64 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.