Produção Nacional
Felipe de Souza Albarelli, Rodolfo C. Ertola-Biraben,
... Isso é feito mostrando que não existe uma função valoração com contradomínio finito que atribua a todas as fórmulas intuicionistas deriváveis, e somente essas, um valor distinguido. O presente trabalho consiste em generalizar a prova de Gödel provando, para certos fragmentos da lógica proposicional intuicionista, se estes podem ou não serem vistos como uma lógica multivalorada finita.
Tópico(s): Philosophy and Theoretical Science
2019 - UNIVERSIDADE ESTADUAL DE CAMPINAS | Revista dos Trabalhos de Iniciação Científica da UNICAMP