Palavra-chave: CÁLCULO DE SEQUENTES

FIBRILAÇÃO DE LÓGICAS TRADUÇÕES ENTRE LÓGICAS COMBINAÇÕES ENTRE LÓGICAS LÓGICA A MÚLTIPLOS VALORES ESTRUTURAS TWIST LÓGICA DIFUSA LÓGICAS NÃO-CLÁSSICAS FEIXES SOBRE QUANTAIS LÓGICAS DA INCONSISTÊNCIA FORMAL LÓGICA PARACONSISTENTE