Style de Fitch pour la déduction naturelle
De Wikipedia, l'encyclopédie encyclopedia
En logique mathématique, le style de Fitch pour la déduction naturelle, est une variante de la déduction naturelle. Elle a été proposé par le logicien Frederic Brenton Fitch. Les démonstrations sont présentées de façon linéaire, renonçant à la structure arborescente proposée par Gentzen.
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?