Tese
- Autor
- Hércules de Araújo Feitosa
- Orientador(a)
- Itala Maria Loffredo D'Ottaviano
- Universidade
- UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
- Programa
- LÓGICA E FILOSOFIA DA CIÊNCIA
- Grau
- DOUTORADO
- Ano
- 1998
1998Hércules de Araújo Feitosa. Traduções Conservativas.. 1998. Tese (DOUTORADO em LÓGICA E FILOSOFIA DA CIÊNCIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP. Orientador(a): Itala Maria Loffredo D'Ottaviano.2
Este trabalho tem por objetivo iniciar o desenvolvimento de uma teoria geral de traduções entre sistemas lógicos. É introduzida uma importante sub-classe das traduções, as traduções conservativas, que preservam fortemente a relação de conseqüência. São analisadas diversas relações entre sistemas lógicos e teorias matemáticas, através do uso e traduções e são apresentadas traduções conservativas envolvendo a lógica clássica, lógica intuicionista, lógicas modais, lógicas polivalentes e lógicas paraconsistentes.
Palavras-chave: