« Déduction naturelle » : historique des versions

22 avril 2024

• actudiff 11:2922 avril 2024 à 11:29‎ PIerre.Lescanne discuter contributions‎ 24 429 octets +20‎ →‎Autres logiques : lien annuler
• actudiff 11:2522 avril 2024 à 11:25‎ PIerre.Lescanne discuter contributions‎ 24 409 octets +235‎ →‎Les origines de la déduction naturelle : note sur la naturalité annuler
• actudiff 11:2022 avril 2024 à 11:20‎ PIerre.Lescanne discuter contributions‎ 24 174 octets +42‎ →‎Les origines de la déduction naturelle : transformation de ref en notes annuler
• actudiff 11:1722 avril 2024 à 11:17‎ PIerre.Lescanne discuter contributions‎ 24 132 octets +77‎ →‎Références annuler

19 avril 2024

• actudiff 19:0819 avril 2024 à 19:08‎ ZapGardener discuter contributions‎ 24 055 octets +32‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

4 mars 2024

• actudiff 17:404 mars 2024 à 17:40‎ Vargenau discuter contributions‎ m 24 023 octets 0‎ Typographie annuler

27 octobre 2022

• actudiff 06:4927 octobre 2022 à 06:49‎ 86.215.152.4 discuter‎ 24 023 octets +71‎ →‎Différentes présentations des règles et des démonstrations annuler

23 juin 2022

• actudiff 10:3923 juin 2022 à 10:39‎ TorkMattar discuter contributions‎ m 23 952 octets +38‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 05:0523 juin 2022 à 05:05‎ 37.214.61.79 discuter‎ 23 914 octets +22‎ →‎Les origines de la déduction naturelle annuler Balises : Nowiki dans un article Éditeur visuel

31 août 2021

• actudiff 23:1731 août 2021 à 23:17‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 23 892 octets +62‎ →‎Autres logiques : existence peu douteuse vu que c'est une méthode de présentation très simple (euh "naturelle" ;-) ) des axiomes d'une logique. Reste à trouver des exemples dans des livres de références et pas forcément uniquement en logique(s) modale(s) annuler
• actudiff 23:0931 août 2021 à 23:09‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ m 23 830 octets −2‎ meilleure place amha de la biblio annuler
• actudiff 00:0331 août 2021 à 00:03‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ m 23 832 octets +50‎ →‎Bibliographie : + précis annuler

30 août 2021

• actudiff 23:4430 août 2021 à 23:44‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 23 782 octets +401‎ →‎Bibliographie : + J.-Y. Girard ... un spécialiste de renommée internationale ... au style comme toujours résolument non académique annuler
• actudiff 23:2730 août 2021 à 23:27‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 23 381 octets +401‎ →‎Bibliographie : ref en français dans un ouvrage de référence, succinct mais on a les axiomes annuler
• actudiff 23:2130 août 2021 à 23:21‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 22 980 octets +110‎ →‎Bibliographie : premier livre en français, dédié annuler
• actudiff 14:2430 août 2021 à 14:24‎ Liviusbarbatus discuter contributions‎ m 22 870 octets −1‎ →‎Lien externe annuler Balise : Éditeur de source 2017
• actudiff 12:5630 août 2021 à 12:56‎ Liviusbarbatus discuter contributions‎ m 22 871 octets +1‎ →‎Lien externe annuler Balise : Éditeur visuel

15 avril 2020

• actudiff 11:2015 avril 2020 à 11:20‎ Fschwarzentruber discuter contributions‎ 22 870 octets +191‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

31 mars 2020

• actudiff 20:2031 mars 2020 à 20:20‎ Slippingspy discuter contributions‎ m 22 679 octets +4‎ Lien hypertexte, première occurrence. annuler

29 février 2020

• actudiff 14:4029 février 2020 à 14:40‎ CodexBot discuter contributions‎ 22 675 octets +59‎ bot [0.68/67] Amélioration bibliographique 5 : +lieu, distinction auteurs, ©BnF, +lire en ligne... annuler

24 janvier 2020

• actudiff 12:5224 janvier 2020 à 12:52‎ Epsilon0 discuter contributions‎ 22 616 octets +5‎ →‎Règles : corr. cf pdd annuler

21 novembre 2019

• actudiff 18:0821 novembre 2019 à 18:08‎ Liviusbarbatus discuter contributions‎ m 22 611 octets −13‎ →‎Lien externe annuler
• actudiff 17:2821 novembre 2019 à 17:28‎ Liviusbarbatus discuter contributions‎ m 22 624 octets −156‎ →‎Lien externe annuler Balise : Éditeur visuel

26 septembre 2019

• actudiff 05:0626 septembre 2019 à 05:06‎ Adiewibot discuter contributions‎ m 22 780 octets −51‎ Maintenance modèle Ouvrage (Requête) / + corrections cosmétiques. annuler

4 mars 2019

• actudiff 22:464 mars 2019 à 22:46‎ Fschwarzentruber discuter contributions‎ 22 831 octets +325‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

29 novembre 2018

• actudiff 14:3829 novembre 2018 à 14:38‎ PIerre.Lescanne discuter contributions‎ 22 506 octets +150‎ →‎Bibliographie annuler

26 novembre 2018

• actudiff 17:5026 novembre 2018 à 17:50‎ Pautard discuter contributions‎ m 22 356 octets 0‎ règle annuler

8 novembre 2018

• actudiff 12:328 novembre 2018 à 12:32‎ PIerre.Lescanne discuter contributions‎ 22 356 octets +5‎ Aucun résumé des modifications annuler

7 novembre 2018

• actudiff 20:597 novembre 2018 à 20:59‎ Fschwarzentruber discuter contributions‎ 22 351 octets +11‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 18:017 novembre 2018 à 18:01‎ PIerre.Lescanne discuter contributions‎ 22 340 octets +27‎ lien annuler

14 septembre 2018

• actudiff 18:0114 septembre 2018 à 18:01‎ Theon discuter contributions‎ 22 313 octets −149‎ →‎Articles connexes : renvoi vers palette "Logique" annuler

13 septembre 2018

• actudiff 09:3613 septembre 2018 à 09:36‎ Theon discuter contributions‎ 22 462 octets +38‎ →‎Articles connexes : règle d'élimination annuler
• actudiff 09:3513 septembre 2018 à 09:35‎ Theon discuter contributions‎ 22 424 octets +38‎ →‎Articles connexes : règle d'introduction annuler

4 mai 2018

• actudiff 18:034 mai 2018 à 18:03‎ 194.254.61.45 discuter‎ 22 386 octets −3‎ typo ? annuler Balise : Éditeur visuel

30 avril 2018

• actudiff 12:4930 avril 2018 à 12:49‎ Fschwarzentruber discuter contributions‎ 22 389 octets +304‎ →‎Déduction naturelle en logique du premier ordre annuler
• actudiff 12:4830 avril 2018 à 12:48‎ Fschwarzentruber discuter contributions‎ 22 085 octets +58‎ →‎Déduction naturelle en logique du premier ordre annuler Balise : Éditeur visuel
• actudiff 12:4130 avril 2018 à 12:41‎ Fschwarzentruber discuter contributions‎ 22 027 octets +271‎ →‎Déduction naturelle en logique du premier ordre : ref annuler
• actudiff 12:4030 avril 2018 à 12:40‎ Fschwarzentruber discuter contributions‎ 21 756 octets +113‎ →‎Déduction naturelle en logique du premier ordre annuler Balise : Éditeur visuel
• actudiff 12:3930 avril 2018 à 12:39‎ Fschwarzentruber discuter contributions‎ 21 643 octets +62‎ →‎Déduction naturelle en logique du premier ordre annuler Balise : Éditeur visuel
• actudiff 12:3830 avril 2018 à 12:38‎ Fschwarzentruber discuter contributions‎ 21 581 octets −143‎ →‎Déduction naturelle en logique du premier ordre annuler Balise : Éditeur visuel
• actudiff 12:3730 avril 2018 à 12:37‎ Fschwarzentruber discuter contributions‎ 21 724 octets +317‎ →‎Déduction naturelle en logique du premier ordre annuler
• actudiff 12:3430 avril 2018 à 12:34‎ Fschwarzentruber discuter contributions‎ 21 407 octets +344‎ →‎Déduction naturelle en logique du premier ordre : je reformule en utilisant le livre de David, Nour, Raffalli annuler Balise : Éditeur visuel
• actudiff 09:5830 avril 2018 à 09:58‎ Epsilon0 discuter contributions‎ 21 063 octets +162‎ →‎Déduction naturelle en logique du premier ordre : Corr. d'une erreur, voir pdd. annuler

29 mars 2018

• actudiff 20:1629 mars 2018 à 20:16‎ SniperMaské discuter contributions‎ m 20 901 octets +2‎ →‎Notion d'hypothèse déchargée : gram. annuler

21 mars 2018

• actudiff 14:5121 mars 2018 à 14:51‎ Epsilon0 discuter contributions‎ m 20 899 octets +2‎ Aucun résumé des modifications annuler Balise : Éditeur visuel : basculé
• actudiff 13:2621 mars 2018 à 13:26‎ PIerre.Lescanne discuter contributions‎ 20 897 octets +15‎ mise en forme annuler

20 janvier 2018

• actudiff 19:2720 janvier 2018 à 19:27‎ Liviusbarbatus discuter contributions‎ 20 882 octets +13‎ →‎Lien externe annuler
• actudiff 19:2020 janvier 2018 à 19:20‎ Liviusbarbatus discuter contributions‎ 20 869 octets −2‎ →‎Lien externe annuler

5 janvier 2018

• actudiff 20:185 janvier 2018 à 20:18‎ Mywiz discuter contributions‎ m 20 871 octets +8‎ ± Catégorie:Logique->Catégorie:Concept logique annuler Balise : HotCats

2 décembre 2017

• actudiff 18:452 décembre 2017 à 18:45‎ 193.56.243.10 discuter‎ 20 863 octets +3‎ →‎Notion d'hypothèse déchargée annuler