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

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

Jean-Baptiste Joinet

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: 03 oct. 2022. doi: https://doi.org/10.32334/oqnfp.2021n49a811.
Seção
Artigos