Palavra-chave: TEORIA DAS CATEGORIAS

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