Palavra-chave: LÓGICAS PARACONSISTENTES

SEMÂNTICAS DE TRADUÇÕES POSSÍVEIS TEORIA DA INFORMACAO ALGEBRIZAÇÃO SEMÂNTICAS DE TRADUÇÕES POSSÍVEIS LÓGICAS NÃO-CLÁSSICAS QUANTIFICADORES GENERALIZADOS TEORIA DAS CATEGORIAS SEMÂNTICAS FORMAIS LÓGICAS DA INCONSISTÊNCIA FORMAL (LFI'S) LÓGICA MULTIMODAL LÓGICA POSITIVA DEDUÇÃO AUTOMÁTICA LÓGICAS DA INCONSISTÊNCIA FORMAL LÓGICA MODAL