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.

Downloads

Publicado

30/12/2016

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. Revista Contemplação, (14). Recuperado de https://revista.fajopa.com/index.php/contemplacao/article/view/125

Edição

n. 14 (2016)

Seção

Artigos