Palavra-chave: LÓGICAS PARACONSISTENTES

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