Palavra-chave: LÓGICAS PARACONSISTENTES

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