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

Conteúdo do artigo principal

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.

Detalhes do artigo

Seção
Artigos
Biografia do Autor

Jean-Baptiste Joinet, Université Jean Moulin Lyon 3

Institut de Recherche Philosophique de Lyon (IRPhiL), Université Jean Moulin Lyon 3 (Université de Lyon) & Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST, UMR 8590 CNRS-Université Panthéon-Sorbonne Paris 1). Action CAPES-Cofecub Sh-873 17, “Philosophie & Informatique : interactions contemporaines”. Programme ANR “The Geometry of Algorithms“ (GoA).