Palavra-chave: TEORIA DE MODELOS

LÓGICA E TEORIA DE CATEGORIAS LÓGICAS DA INCONSISTÊNCIA FORMAL TEORIA DE CONJUNTOS ESTRUTURAS ORDENADAS LÓGICA DE ORDEM SUPERIOR LÓGICA PARACONSISTENTE LÓGICAS NÃO-CLÁSSICAS TEORIA DA PROVA LÓGICA MODAL REVISÃO DE CRENÇAS COMPUTABILIDADE TEORIA DA ARGUMENTAÇÃO FILOSOFIA DA MATEMÁTICA LÓGICAS 3-VALORADAS COMBINAÇÕES ENTRE LÓGICAS TEORIA DE FEIXES ESTRUTURAS DE FIDEL VERDADE PRAGMÁTICA TEORIA DAS CATEGORIAS LÓGICA DE PRIMEIRA ORDEM TEORIA DA QUASE-VERDADE LÓGICA INTUICIONISTA LÓGICAS ABSTRATAS LÓGICA MATRICIAL LÓGICA TRADUÇÕES ENTRE LÓGICAS SEMÂNTICAS NÃO-DETERMINÍSITCAS ANÁLISE FORMAL DE CONCEITOS