Sistemas de lógica modal em dedução natural

Detalhes bibliográficos
Ano de defesa: 2010
Autor(a) principal: Costa, David Gomes
Orientador(a): Medeiros, Maria da Paz Nunes de
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal do Rio Grande do Norte
Programa de Pós-Graduação: Programa de Pós-Graduação em Filosofia
Departamento: Metafísica
País: BR
Palavras-chave em Português:
Lógica
Modalidade (Lógica)
Normalização
Área do conhecimento CNPq:
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
Link de acesso: https://repositorio.ufrn.br/jspui/handle/123456789/16476
Resumo: Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems
id UFRN_b5b473b54e70ec0a07dbc8bd8808080c
oai_identifier_str oai:repositorio.ufrn.br:123456789/16476
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling Costa, David Gomeshttp://lattes.cnpq.br/5393340009943598http://lattes.cnpq.br/1201435944432572Moura, José Eduardo de Almeidahttp://lattes.cnpq.br/8344744432173365Pereira, Luiz Carlos Pinheiro Diashttp://lattes.cnpq.br/8418729116626386Medeiros, Maria da Paz Nunes de2014-12-17T15:12:12Z2010-09-282014-12-17T15:12:12Z2010-01-15COSTA, David Gomes. Sistemas de lógica modal em dedução natural. 2010. 117 f. Dissertação (Mestrado em Metafísica) - Universidade Federal do Rio Grande do Norte, Natal, 2010.https://repositorio.ufrn.br/jspui/handle/123456789/1647623001011030P1Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systemsA formalização de sistemas de lógica em dedução natural traz muitas vantagens meta-teoréticas, das quais é sempre destacada a prova de normalização. Os sistemas de lógica modal até bem recentemente não eram costumeiramente tratados pelo viés da dedução natural, contudo algumas formulações, provas de normalização e tentativas de provas surgiram. Esse trabalho é uma apresentação de alguns sistemas importantes de lógica modal em dedução natural já existentes, e de alguns procedimentos de normalização para eles, mas é também, e principalmente, a apresentação de uma hierarquia de sistemas de lógica modal em Dedução Natural do sistema K ao sistema S5 e um esquema da prova de normalização do sistema K, que é modelo para a normalização nos outros sistemasapplication/pdfporUniversidade Federal do Rio Grande do NortePrograma de Pós-Graduação em FilosofiaUFRNBRMetafísicaLógicaModalidade (Lógica)NormalizaçãoCNPQ::CIENCIAS HUMANAS::FILOSOFIASistemas de lógica modal em dedução naturalinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALDavidGC_DISSERT.pdfapplication/pdf766947https://repositorio.ufrn.br/bitstreams/2fb3e404-796d-44e9-b524-e79d46053ad5/downloadf1a6301612dd36741701f971f1734291MD51trueAnonymousREADTEXTDavidGC_DISSERT.pdf.txtWritten by FormatFilter org.dspace.app.mediafilter.PDFFilter on 2017-11-04T07:40:57Z (GMT).Extracted texttext/plain260389https://repositorio.ufrn.br/bitstreams/47b6f8e0-77c7-4caa-b2b4-7340c2337d3c/download889c7b4bf55f19e2d2d7b4c0c45d5543MD56falseAnonymousREADTHUMBNAILDavidGC_DISSERT.pdf.jpgWritten by FormatFilter org.dspace.app.mediafilter.ImageMagickPdfThumbnailFilter on 2017-11-04T07:41:24Z (GMT).IM Thumbnailimage/jpeg1052https://repositorio.ufrn.br/bitstreams/fb3f9d79-9931-4616-8023-2a0d30d8c524/download9ab4e00b61e10d9ed2e8745ac3b8a95aMD57falseAnonymousREAD123456789/164762026-08-26T14:38:24.442374Zopen.accessoai:repositorio.ufrn.br:123456789/16476https://repositorio.ufrn.brRepositório InstitucionalPUBhttp://repositorio.ufrn.br/oai/repositorio@bczm.ufrn.bropendoar:2026-08-26T14:38:24Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.por.fl_str_mv Sistemas de lógica modal em dedução natural
title Sistemas de lógica modal em dedução natural
spellingShingle Sistemas de lógica modal em dedução natural
Costa, David Gomes
Lógica
Modalidade (Lógica)
Normalização
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
title_short Sistemas de lógica modal em dedução natural
title_full Sistemas de lógica modal em dedução natural
title_fullStr Sistemas de lógica modal em dedução natural
title_full_unstemmed Sistemas de lógica modal em dedução natural
title_sort Sistemas de lógica modal em dedução natural
author Costa, David Gomes
author_facet Costa, David Gomes
author_role author
dc.contributor.authorID.por.fl_str_mv
dc.contributor.authorLattes.por.fl_str_mv http://lattes.cnpq.br/5393340009943598
dc.contributor.advisorID.por.fl_str_mv
dc.contributor.advisorLattes.por.fl_str_mv http://lattes.cnpq.br/1201435944432572
dc.contributor.referees1.pt_BR.fl_str_mv Moura, José Eduardo de Almeida
dc.contributor.referees1ID.por.fl_str_mv
dc.contributor.referees1Lattes.por.fl_str_mv http://lattes.cnpq.br/8344744432173365
dc.contributor.referees2.pt_BR.fl_str_mv Pereira, Luiz Carlos Pinheiro Dias
dc.contributor.referees2ID.por.fl_str_mv
dc.contributor.referees2Lattes.por.fl_str_mv http://lattes.cnpq.br/8418729116626386
dc.contributor.author.fl_str_mv Costa, David Gomes
dc.contributor.advisor1.fl_str_mv Medeiros, Maria da Paz Nunes de
contributor_str_mv Medeiros, Maria da Paz Nunes de
dc.subject.por.fl_str_mv Lógica
Modalidade (Lógica)
Normalização
topic Lógica
Modalidade (Lógica)
Normalização
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS HUMANAS::FILOSOFIA
description Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems
publishDate 2010
dc.date.available.fl_str_mv 2010-09-28
2014-12-17T15:12:12Z
dc.date.issued.fl_str_mv 2010-01-15
dc.date.accessioned.fl_str_mv 2014-12-17T15:12:12Z
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 COSTA, David Gomes. Sistemas de lógica modal em dedução natural. 2010. 117 f. Dissertação (Mestrado em Metafísica) - Universidade Federal do Rio Grande do Norte, Natal, 2010.
dc.identifier.uri.fl_str_mv https://repositorio.ufrn.br/jspui/handle/123456789/16476
dc.identifier.capesdegreeprogramcode.pt_BR.fl_str_mv 23001011030P1
identifier_str_mv COSTA, David Gomes. Sistemas de lógica modal em dedução natural. 2010. 117 f. Dissertação (Mestrado em Metafísica) - Universidade Federal do Rio Grande do Norte, Natal, 2010.
23001011030P1
url https://repositorio.ufrn.br/jspui/handle/123456789/16476
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.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Filosofia
dc.publisher.initials.fl_str_mv UFRN
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Metafísica
publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
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/bitstreams/2fb3e404-796d-44e9-b524-e79d46053ad5/download
https://repositorio.ufrn.br/bitstreams/47b6f8e0-77c7-4caa-b2b4-7340c2337d3c/download
https://repositorio.ufrn.br/bitstreams/fb3f9d79-9931-4616-8023-2a0d30d8c524/download
bitstream.checksum.fl_str_mv f1a6301612dd36741701f971f1734291
889c7b4bf55f19e2d2d7b4c0c45d5543
9ab4e00b61e10d9ed2e8745ac3b8a95a
bitstream.checksumAlgorithm.fl_str_mv 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 repositorio@bczm.ufrn.br
_version_ 1876429145885376512

Registros relacionados