Two basic results on translations between logics

Barra lateral de artigos

Capa da revista O que nos faz pensar nº 39
PDF (English)
Publicado: dez. 30, 2016
Palavras-chave:
Traduções, Lógicas intermediárias

Conteúdo do artigo principal

Edward Hermann Haeusler
Departamento de Informática da Pontifícia Universidade Catolica do Rio de Janeiro (PUC-Rio)
Luiz Carlos Pereira
Pontifícia Universidade Catolica do Rio de Janeiro (PUC-Rio)

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.

Detalhes do artigo

Edição
v. 25 n. 39 (2016): Filosofia, Lógica e Computação
Seção
Artigos

Nota de Direitos Autorais

O autor do artigo ou resenha submetido e aprovado para publicação autoriza os editores a reproduzi-lo e publicá-lo na a revista O que nos faz pensar, entendendo-se os termos "reprodução" e "publicação" conforme a licença Creative Commons Atribuição-NãoComercial 4.0 Internacional. O artigo ou resenha poderá ser acessado tanto pela rede mundial de computadores (WWW – Internet), como pela versão impressa, sendo permitidas, a título gratuito, a consulta e a reprodução do texto para uso próprio de quem a consulta. Essa autorização de publicação não tem limitação de tempo, ficando os editores da revista O que nos faz pensar responsável pela manutenção da identificação do autor do artigo.

Biografia do Autor

Edward Hermann Haeusler, Departamento de Informática da Pontifícia Universidade Catolica do Rio de Janeiro (PUC-Rio)

possui graduação em Matemática pela Universidade de Brasília (1983), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1986) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1990). Atualmente é professor associado da Pontifícia Universidade Católica do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Computabilidade e Modelos de Computação, atuando principalmente nos seguintes temas: teoria da prova, proof theory, teoria das categorias, semântica formal e Lógica. Foi coordenador de Pós-Graduação do DI-PUC de 2010-2 a 2014-1

Luiz Carlos Pereira, Pontifícia Universidade Catolica do Rio de Janeiro (PUC-Rio)

Possui graduação em Filosofia pela Pontifícia Universidade Católica do Rio de Janeiro (1976) e doutorado em Doutorado Em Filosofia pela Universidade de Estocolmo (1982). Atualmente é professor adjunto da Universidade do Estado do Rio de Janeiro e professor assistente da Pontifícia Universidade Católica do Rio de Janeiro. Tem experiência na área de Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: wittgenstein, dedução natural, logica, prova e construtivismo.