Palavra-chave: TEORIA DAS CATEGORIAS

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