NOÇÕES DE MODELOS EM LÓGICAS UNIVERSAIS

Resumo

Neste artigo trabalhamos com noções gerais de lógica num ambiente abstrato. Fazemos uso de conceitos de traduções entre lógicas para relacionar estruturas sintática e semântica, atrelando, assim, os conceitos de traduções entre lógicas aos conceitos de correção e completude de uma lógica. Traduções são também vinculadas à noção de função contínua. Por fim, por meio de noções de modelos lógicos, obtemos lógicas abstratas.