Palavra-chave: TEORIA DE MODELOS

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