Palavra-chave: LÓGICA E TEORIA DE CATEGORIAS

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