Palavra-chave: TEORIA DE MODELOS

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