Palavra-chave: LÓGICA E TEORIA DE CATEGORIAS

LÓGICA DE ORDEM SUPERIOR ESTRUTURAS ORDENADAS SEMÂNTICA CATEGORIAL LÓGICA INTUICIONISTA SEMÃNTICA DE TRADUÇÕES POSSÍVEIS COMBINAÇÕES ENTRE LÓGICAS FIBRING LÓGICAS NÃO-CLÁSSICAS TEORIA DE MODELOS FIBRILAÇÃO DE LÓGICAS LÓGICA MODAL ESTRUTURAS SWAP LÓGICAS DE DA COSTA LÓGICA PARACONSISTENTE SEMÂNTICAS NÃO-DETERMINÍSITCAS MULTIALGEBRAS LOGICAS ALGEBRIZAVEIS LÓGICAS ABSTRATAS