Two basic results on translations between logics

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

Edward Hermann Haeusler Luiz Carlos Pereira

Resumo

Dois resultados básicos sobre traduções entre lógicas
O objetivo do presente trabalho é mostrar dois resultados básicos relativos à tradução entre lógicas:
[1] O primeiro resultado estabelece que, dadas duas lógicas S1 e S2, com linguagens L1 e L2, e uma tradução F de L1 em L2 que interpreta S1 em S2, então, dada qualquer lógica intermediária S3 entre S1 e S2, a mesma tradução F Interpreta S1 em S3.
[2] O segundo resultado estabelece que a tradução F não pode interpretar S3 em S2.
---
Artigo em inglês.

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

Como Citar
HAEUSLER, Edward Hermann; PEREIRA, Luiz Carlos. Two basic results on translations between logics. O que nos faz pensar, [S.l.], v. 25, n. 39, p. 51-54, dec. 2016. ISSN 0104-6675. Disponível em: <http://oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/512>. Acesso em: 25 sep. 2017.
Seção
Artigos