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

Detalhes bibliográficos
Ano de defesa: 2010
Autor(a) principal: Costa, David Gomes
Orientador(a): Não Informado pela instituição
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
BR
UFRN
Programa de Pós-Graduação em Filosofia
Metafísica
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Lógica
Modalidade (Lógica)
Normalização
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 Sistemas de lógica modal em dedução naturalLógicaModalidade (Lógica)NormalizaçãoCNPQ::CIENCIAS HUMANAS::FILOSOFIAFormalization 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 sistemasUniversidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em FilosofiaMetafísicaMedeiros, Maria da Paz Nunes dehttp://lattes.cnpq.br/5393340009943598http://lattes.cnpq.br/1201435944432572Moura, José Eduardo de Almeidahttp://lattes.cnpq.br/8344744432173365Pereira, Luiz Carlos Pinheiro Diashttp://lattes.cnpq.br/8418729116626386Costa, David Gomes2014-12-17T15:12:12Z2010-09-282014-12-17T15:12:12Z2010-01-15info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfapplication/pdfCOSTA, 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/16476ark:/41046/00130000114stporinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRN2017-11-04T07:41:24Zoai:repositorio.ufrn.br:123456789/16476Repositório InstitucionalPUBhttp://repositorio.ufrn.br/oai/repositorio@bczm.ufrn.bropendoar:2017-11-04T07:41:24Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.none.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.none.fl_str_mv Medeiros, Maria da Paz Nunes de

http://lattes.cnpq.br/5393340009943598

http://lattes.cnpq.br/1201435944432572
Moura, José Eduardo de Almeida

http://lattes.cnpq.br/8344744432173365
Pereira, Luiz Carlos Pinheiro Dias

http://lattes.cnpq.br/8418729116626386
dc.contributor.author.fl_str_mv Costa, David Gomes
dc.subject.por.fl_str_mv Lógica
Modalidade (Lógica)
Normalização
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
topic Lógica
Modalidade (Lógica)
Normalização
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.none.fl_str_mv 2010-09-28
2010-01-15
2014-12-17T15:12:12Z
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.uri.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.
https://repositorio.ufrn.br/jspui/handle/123456789/16476
dc.identifier.dark.fl_str_mv ark:/41046/00130000114st
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.
ark:/41046/00130000114st
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
application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
BR
UFRN
Programa de Pós-Graduação em Filosofia
Metafísica
publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
BR
UFRN
Programa de Pós-Graduação em Filosofia
Metafísica
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
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_ 1846688764697509888

Registros relacionados