Sistemas de lógica modal em dedução natural
AUTOR(ES)
David Gomes Costa
DATA DE PUBLICAÇÃO
2010
RESUMO
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
ASSUNTO(S)
lógica modalidade (lógica) normalização filosofia
