Projeto

Traduções entre Lógicas

Resumo

Projeto Temático FAPESP (1995-1997). Alguns de nossos trabalhos prévios sobre o estudo de inter-relações entre sistemas lógicos pela análise de traduções entre eles motivam este projeto de pesquisa. Para a construção de uma teoria geral de traduções usamos um conceito geral e abstrato de lógica e de tradução entre lógicas.