Palavra-chave: TEORIA DE MODELOS

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