Palavra-chave: TEORIA DE MODELOS

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