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

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