Palavra-chave: LÓGICA E TEORIA DE CATEGORIAS

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