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