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

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