Palavra-chave: ÁLGEBRAS DE BOOLE COM OPERADORES

LÓGICA DE PRIMEIRA ORDEM LOGICAS ALGEBRIZAVEIS LÓGICA PARACONSISTENTE LÓGICA MODAL LÓGICAS DA INCONSISTÊNCIA FORMAL LÓGICA ALGÉBRICA TEORIA DAS CATEGORIAS SEMÂNTICAS NÃO-DETERMINÍSTICAS MULTIALGEBRAS