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

Mostrar outras versões (1)

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. Th...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Autor principal:	Costa, David Gomes
Outros Autores:	Medeiros, Maria da Paz Nunes de
Formato:	Dissertação
Idioma:	por
Publicado em:	Universidade Federal do Rio Grande do Norte
Assuntos:	Lógica Modalidade (Lógica) Normalização CNPQ::CIENCIAS HUMANAS::FILOSOFIA
Endereço do item:	https://repositorio.ufrn.br/jspui/handle/123456789/16476
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

id	ri-123456789-16476
record_format	dspace
spelling	ri-123456789-164762017-11-04T07:41:24Z Sistemas de lógica modal em dedução natural Costa, David Gomes 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 Lógica Modalidade (Lógica) Normalização CNPQ::CIENCIAS HUMANAS::FILOSOFIA 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 A 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 sistemas 2014-12-17T15:12:12Z 2010-09-28 2014-12-17T15:12:12Z 2010-01-15 masterThesis 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 por Acesso Aberto application/pdf application/pdf Universidade Federal do Rio Grande do Norte BR UFRN Programa de Pós-Graduação em Filosofia Metafísica
institution	Repositório Institucional
collection	RI - UFRN
language	por
topic	Lógica Modalidade (Lógica) Normalização CNPQ::CIENCIAS HUMANAS::FILOSOFIA
spellingShingle	Lógica Modalidade (Lógica) Normalização CNPQ::CIENCIAS HUMANAS::FILOSOFIA Costa, David Gomes Sistemas de lógica modal em dedução natural
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
author2	Medeiros, Maria da Paz Nunes de
author_facet	Medeiros, Maria da Paz Nunes de Costa, David Gomes
format	masterThesis
author	Costa, David Gomes
author_sort	Costa, David Gomes
title	Sistemas de lógica modal em dedução natural
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
publisher	Universidade Federal do Rio Grande do Norte
publishDate	2014
url	https://repositorio.ufrn.br/jspui/handle/123456789/16476
work_keys_str_mv	AT costadavidgomes sistemasdelogicamodalemdeducaonatural
_version_	1773962573763313664

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

Registros relacionados