Prouver depuis toujours ? Une approche inférentielle de la compacité en logique propositionnelle

##plugins.themes.bootstrap3.article.sidebar##

Capa edição 49
PDF (Français)
Publicado Jan 15, 2022
DOI: https://doi.org/10.32334/oqnfp.2021n49a811

##plugins.themes.bootstrap3.article.main##

Jean-Baptiste Joinet
Université Jean Moulin Lyon 3

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.

##plugins.themes.bootstrap3.article.details##

Como Citar
JOINET, Jean-Baptiste. Prouver depuis toujours ? Une approche inférentielle de la compacité en logique propositionnelle. O que nos faz pensar, [S.l.], v. 29, n. 49, p. 100-114, jan. 2022. ISSN 0104-6675. Disponível em: <http://oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/811>. Acesso em: 01 apr. 2023. doi: https://doi.org/10.32334/oqnfp.2021n49a811.
ABNT APA BibTeX CBE EndNote - formato Macintosh & Windows MLA ProCite - formato RIS (Macintosh & Windows) RefWorks Turabian Reference Manager - formato RIS (somente para Windows)
Edição
v. 29 n. 49 (2021): Lógica, Filosofia e Computação: interações contemporâneas
Seção
Artigos

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.