NOÇÕES DE MODELOS EM LÓGICAS UNIVERSAIS

Autores

  • Hércules de Araújo Feitosa
  • Angela Pereira Rodrigues Moreira
  • Itala Maria Loffredo D’Ottaviano

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.

Publicado

2016-12-30

Como Citar

de Araújo Feitosa, H., Rodrigues Moreira, A. P., & Loffredo D’Ottaviano, I. M. (2016). NOÇÕES DE MODELOS EM LÓGICAS UNIVERSAIS. Contemplação, (14). Obtido de https://revista.fajopa.com/index.php/contemplacao/article/view/125

Edição

Secção

Artigos