Palavra-chave: LÓGICAS NÃO-CLÁSSICAS

TRADUÇÕES ENTRE LÓGICAS TEORIA DA ARGUMENTAÇÃO FILOSOFIA DA MATEMÁTICA SEMÂNTICA CATEGORIAL NMATRIZES FIBRILAÇÃO DE LÓGICAS TEORIA DAS CATEGORIAS COMBINAÇÕES ENTRE LÓGICAS REVISÃO DE CRENÇAS LÓGICA MATRICIAL FIBRING TEORIA DE MÓDULOS SEMÃNTICA DE TRADUÇÕES POSSÍVEIS FÍSICA QUÂNTICA COMPUTAÇÃO TEORIA DE MODELOS ESTRUTURAS DE FIDEL ESTRUTURAS SWAP LOGICAS ALGEBRIZAVEIS CÁLCULO DE SEQUENTES LÓGICAS DA INCONSISTÊNCIA FORMAL LÓGICA E TEORIA DE CATEGORIAS TEORIA DA PROVA LÓGICA MATEMÁTICA LÓGICA PARACONSISTENTE MATRIZES NÃO-DETERMINÍSTICAS LÓGICA LÓGICA DE PRIMEIRA ORDEM SEMÂNTICAS NÃO-DETERMINÍSITCAS SEMÂNTICAS NÃO-DETERMINÍSTICAS FEIXES SOBRE QUANTAIS LÓGICA MODAL