Revisiting the proof theory of Classical S4

##plugins.themes.bootstrap3.article.main##

Bruno Lopes Cecília Englander Fernanda Lobo Marcela Cruz

Resumo

Revisitando a teoria da prova de S4


1965, Dag Prawitz apresentou uma extensão dos sistemas tipo-Gentzen de Dedução Natural para os conceitos modais de S4. Maria da Paz Medeiros mostrou em 2006 que a prova de normalização para o S4 clássico não estava correta e propôs uma nova prova de normalização para um sistema logicamente equivalente, o sistema NS4. No entanto, dois problemas na prova do lema crítico usado por Medeiros em sua prova foram apontados por Yuuki Andou em 2009. Este artigo apresenta uma nova prova do lema crítico e, consequentemente, uma prova de normalização para NS4.
---
Artigo em inglês.

##plugins.themes.bootstrap3.article.details##

Como Citar
LOPES, Bruno et al. Revisiting the proof theory of Classical S4. O que nos faz pensar, [S.l.], v. 25, n. 39, p. 71-86, dec. 2016. ISSN 0104-6675. Disponível em: <http://oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/511>. Acesso em: 19 nov. 2017.
Seção
Artigos