Palavra-chave: TEORIA DAS CATEGORIAS

LÓGICA INTUICIONISTA ESTRUTURAS ORDENADAS ALGEBRIZAÇÃO LÓGICA ALGÉBRICA COMBINAÇÕES ENTRE LÓGICAS SEMÂNTICAS NÃO-DETERMINÍSTICAS FEIXES SOBRE QUANTAIS MULTIALGEBRAS LÓGICA DE ORDEM SUPERIOR SEMÂNTICA CATEGORIAL QUANTAIS SEMÂNTICAS DE TRADUÇÕES POSSÍVEIS LÓGICA LINEAR TOPOLOGIA NÃO-COMUTATIVA TEORIA DE MÓDULOS GRAFOS LÓGICA TEORIA DE FEIXES LÓGICAS PARACONSISTENTES TEORIA DE MODELOS ÁLGEBRAS DE BOOLE COM OPERADORES LÓGICAS NÃO-CLÁSSICAS LÓGICAS ABSTRATAS