Palavra-chave: TEORIA DE MODELOS

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