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

Detalhes bibliográficos
Autor(a) principal: Dantas Neto, João Freire
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFRN
Texto Completo: https://repositorio.ufrn.br/jspui/handle/123456789/26312
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.
id UFRN_d933bd6817400bd95c92cb71f04d5a17
oai_identifier_str oai:https://repositorio.ufrn.br:123456789/26312
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling Dantas Neto, João FreireGorsky, Samir BezerraBenevides, Mario Roberto FolhadelaPimentel, Elaine Gouvea2018-12-11T21:51:40Z2018-12-11T21:51:40Z2018-10-18DANTAS 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.https://repositorio.ufrn.br/jspui/handle/123456789/26312A 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.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.Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)Conselho Nacional de Desenvolvimento Científico e Tecnológico - CNPqporCNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA APLICADA E ESTATÍSTICAEstrutura relacionalEstrutura de vizinhançaModalidadesSistemas de provaDe relações a vizinhanças: um entendimento sobre não-normalidade modalFrom relations to neighborhoods: understanding non-normal modalitiesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisPROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICAUFRNBrasilinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALRelaçõesvizinhançasentendimento_DantasNeto_2018.pdfapplication/pdf741010https://repositorio.ufrn.br/bitstream/123456789/26312/1/Rela%c3%a7%c3%b5esvizinhan%c3%a7asentendimento_DantasNeto_2018.pdf953bfa06c3373fdd795a334a1a9af73aMD51TEXTRelaçõesvizinhançasentendimento_DantasNeto_2018.pdf.txtRelaçõesvizinhançasentendimento_DantasNeto_2018.pdf.txtExtracted texttext/plain137471https://repositorio.ufrn.br/bitstream/123456789/26312/2/Rela%c3%a7%c3%b5esvizinhan%c3%a7asentendimento_DantasNeto_2018.pdf.txt961096ea7ebf9f34834b6ef1f960eca0MD52THUMBNAILRelaçõesvizinhançasentendimento_DantasNeto_2018.pdf.jpgRelaçõesvizinhançasentendimento_DantasNeto_2018.pdf.jpgIM Thumbnailimage/jpeg2772https://repositorio.ufrn.br/bitstream/123456789/26312/3/Rela%c3%a7%c3%b5esvizinhan%c3%a7asentendimento_DantasNeto_2018.pdf.jpgd7fd8e2f861850174c71dfb9297c6f64MD53TEXTRelaçõesvizinhançasentendimento_DantasNeto_2018.pdf.txtRelaçõesvizinhançasentendimento_DantasNeto_2018.pdf.txtExtracted texttext/plain137471https://repositorio.ufrn.br/bitstream/123456789/26312/2/Rela%c3%a7%c3%b5esvizinhan%c3%a7asentendimento_DantasNeto_2018.pdf.txt961096ea7ebf9f34834b6ef1f960eca0MD52THUMBNAILRelaçõesvizinhançasentendimento_DantasNeto_2018.pdf.jpgRelaçõesvizinhançasentendimento_DantasNeto_2018.pdf.jpgIM Thumbnailimage/jpeg2772https://repositorio.ufrn.br/bitstream/123456789/26312/3/Rela%c3%a7%c3%b5esvizinhan%c3%a7asentendimento_DantasNeto_2018.pdf.jpgd7fd8e2f861850174c71dfb9297c6f64MD53123456789/263122019-01-30 05:09:46.921oai:https://repositorio.ufrn.br:123456789/26312Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2019-01-30T08:09:46Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.pt_BR.fl_str_mv De relações a vizinhanças: um entendimento sobre não-normalidade modal
dc.title.alternative.pt_BR.fl_str_mv From relations to neighborhoods: understanding non-normal modalities
title De relações a vizinhanças: um entendimento sobre não-normalidade modal
spellingShingle De relações a vizinhanças: um entendimento sobre não-normalidade modal
Dantas Neto, João Freire
CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA APLICADA E ESTATÍSTICA
Estrutura relacional
Estrutura de vizinhança
Modalidades
Sistemas de prova
title_short De relações a vizinhanças: um entendimento sobre não-normalidade modal
title_full De relações a vizinhanças: um entendimento sobre não-normalidade modal
title_fullStr De relações a vizinhanças: um entendimento sobre não-normalidade modal
title_full_unstemmed De relações a vizinhanças: um entendimento sobre não-normalidade modal
title_sort De relações a vizinhanças: um entendimento sobre não-normalidade modal
author Dantas Neto, João Freire
author_facet Dantas Neto, João Freire
author_role author
dc.contributor.authorID.pt_BR.fl_str_mv
dc.contributor.advisorID.pt_BR.fl_str_mv
dc.contributor.referees1.none.fl_str_mv Gorsky, Samir Bezerra
dc.contributor.referees1ID.pt_BR.fl_str_mv
dc.contributor.referees2.none.fl_str_mv Benevides, Mario Roberto Folhadela
dc.contributor.referees2ID.pt_BR.fl_str_mv
dc.contributor.author.fl_str_mv Dantas Neto, João Freire
dc.contributor.advisor1.fl_str_mv Pimentel, Elaine Gouvea
contributor_str_mv Pimentel, Elaine Gouvea
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA APLICADA E ESTATÍSTICA
topic CNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICA APLICADA E ESTATÍSTICA
Estrutura relacional
Estrutura de vizinhança
Modalidades
Sistemas de prova
dc.subject.por.fl_str_mv Estrutura relacional
Estrutura de vizinhança
Modalidades
Sistemas de prova
description 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.
publishDate 2018
dc.date.accessioned.fl_str_mv 2018-12-11T21:51:40Z
dc.date.available.fl_str_mv 2018-12-11T21:51:40Z
dc.date.issued.fl_str_mv 2018-10-18
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv 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.
dc.identifier.uri.fl_str_mv https://repositorio.ufrn.br/jspui/handle/123456789/26312
identifier_str_mv 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.
url https://repositorio.ufrn.br/jspui/handle/123456789/26312
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.program.fl_str_mv PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA
dc.publisher.initials.fl_str_mv UFRN
dc.publisher.country.fl_str_mv Brasil
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRN
instname:Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
instname_str Universidade Federal do Rio Grande do Norte (UFRN)
instacron_str UFRN
institution UFRN
reponame_str Repositório Institucional da UFRN
collection Repositório Institucional da UFRN
bitstream.url.fl_str_mv https://repositorio.ufrn.br/bitstream/123456789/26312/1/Rela%c3%a7%c3%b5esvizinhan%c3%a7asentendimento_DantasNeto_2018.pdf
https://repositorio.ufrn.br/bitstream/123456789/26312/2/Rela%c3%a7%c3%b5esvizinhan%c3%a7asentendimento_DantasNeto_2018.pdf.txt
https://repositorio.ufrn.br/bitstream/123456789/26312/3/Rela%c3%a7%c3%b5esvizinhan%c3%a7asentendimento_DantasNeto_2018.pdf.jpg
https://repositorio.ufrn.br/bitstream/123456789/26312/2/Rela%c3%a7%c3%b5esvizinhan%c3%a7asentendimento_DantasNeto_2018.pdf.txt
https://repositorio.ufrn.br/bitstream/123456789/26312/3/Rela%c3%a7%c3%b5esvizinhan%c3%a7asentendimento_DantasNeto_2018.pdf.jpg
bitstream.checksum.fl_str_mv 953bfa06c3373fdd795a334a1a9af73a
961096ea7ebf9f34834b6ef1f960eca0
d7fd8e2f861850174c71dfb9297c6f64
961096ea7ebf9f34834b6ef1f960eca0
d7fd8e2f861850174c71dfb9297c6f64
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)
repository.mail.fl_str_mv
_version_ 1802117658582188032

Registros relacionados