De relações a vizinhanças: um entendimento sobre não-normalidade modal
Autor(a) principal: | |
---|---|
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 |