SISTEMAS DE LÓGICA MODAL EM DEDUÇÃO NATURAL

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.