Prouver depuis toujours ? Une approche inférentielle de la compacité en logique propositionnelle
Barra lateral de artigos
Conteúdo do artigo principal
Resumo
Une approche inferentielle de la compacite/finitude en logique propositionnelle.
PROVAR DESDE SEMPRE? UMA ABORDAGEM INFERENCIAL PARA COMPACIDADE EM LÓGICA PROPOSICIONAL
Uma abordagem inferencial para compacidade/finitude em logica proposicional.
Detalhes do artigo
Nota de Direitos Autorais
O autor do artigo ou resenha submetido e aprovado para publicação autoriza os editores a reproduzi-lo e publicá-lo na a revista O que nos faz pensar, entendendo-se os termos "reprodução" e "publicação" conforme a licença Creative Commons Atribuição-NãoComercial 4.0 Internacional. O artigo ou resenha poderá ser acessado tanto pela rede mundial de computadores (WWW – Internet), como pela versão impressa, sendo permitidas, a título gratuito, a consulta e a reprodução do texto para uso próprio de quem a consulta. Essa autorização de publicação não tem limitação de tempo, ficando os editores da revista O que nos faz pensar responsável pela manutenção da identificação do autor do artigo.