Palavra-chave: LÓGICAS ABSTRATAS

TRADUÇÕES ENTRE LÓGICAS FEIXES DE LÓGICAS TEORIA DE MODELOS COMBINAÇÕES ENTRE LÓGICAS TEORIA DAS CATEGORIAS GRAFOS LÓGICA E TEORIA DE CATEGORIAS FIBRILAÇÃO DE LÓGICAS TEOREMA DE LINDSTRÖM REVISÃO DE CRENÇAS COMBINAÇÃO ENTRE LÓGICAS LOGICAS ALGEBRIZAVEIS