Please use this identifier to cite or link to this item: https://repositorio.ufrn.br/handle/123456789/16476
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorMedeiros, Maria da Paz Nunes dept_BR
dc.contributor.authorCosta, David Gomespt_BR
dc.date.accessioned2014-12-17T15:12:12Z-
dc.date.available2010-09-28pt_BR
dc.date.available2014-12-17T15:12:12Z-
dc.date.issued2010-01-15pt_BR
dc.identifier.citationCOSTA, 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.por
dc.identifier.urihttps://repositorio.ufrn.br/jspui/handle/123456789/16476-
dc.description.abstractFormalization 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 systemseng
dc.formatapplication/pdfpor
dc.languageporpor
dc.publisherUniversidade Federal do Rio Grande do Nortepor
dc.rightsAcesso Abertopor
dc.subjectLógicapor
dc.subjectModalidade (Lógica)por
dc.subjectNormalizaçãopor
dc.titleSistemas de lógica modal em dedução naturalpor
dc.typemasterThesispor
dc.publisher.countryBRpor
dc.publisher.initialsUFRNpor
dc.publisher.programPrograma de Pós-Graduação em Filosofiapor
dc.contributor.authorIDpor
dc.contributor.authorLatteshttp://lattes.cnpq.br/5393340009943598por
dc.contributor.advisorIDpor
dc.contributor.advisorLatteshttp://lattes.cnpq.br/1201435944432572por
dc.contributor.referees1Moura, José Eduardo de Almeidapt_BR
dc.contributor.referees1IDpor
dc.contributor.referees1Latteshttp://lattes.cnpq.br/8344744432173365por
dc.contributor.referees2Pereira, Luiz Carlos Pinheiro Diaspt_BR
dc.contributor.referees2IDpor
dc.contributor.referees2Latteshttp://lattes.cnpq.br/8418729116626386por
dc.description.resumoA 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 sistemaspor
dc.publisher.departmentMetafísicapor
dc.subject.cnpqCNPQ::CIENCIAS HUMANAS::FILOSOFIApor
Appears in Collections:PPGFIL - Mestrado em Filosofia

Files in This Item:
File Description SizeFormat 
DavidGC_DISSERT.pdf748,97 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.