« Calcul des séquents » : historique des versions

Filtrer les versionsaffichermasquer

Jusqu’au :

Filtrer les balises :

Inverser la sélection

Outils externes et statistiques

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Légende : (actu) = différence avec la version actuelle - (diff) = différence avec la version précédente - m = modification mineure

actudiff 19:145 octobre 2024 à 19:14‎ 77.201.33.209 discuter‎ 24 540 octets +65‎ →‎Séquent annuler Balise : Éditeur visuel

actudiff 18:104 mars 2024 à 18:10‎ Vargenau discuter contributions‎ m 24 475 octets 0‎ Typographie annuler

actudiff 20:4930 juin 2023 à 20:49‎ OrlodrimBot discuter contributions‎ m 24 475 octets −16‎ Remplacement de {{Lien}} par un lien interne, suite à la création de l'article correspondant annuler

actudiff 20:2727 mars 2023 à 20:27‎ Locarnitude discuter contributions‎ 24 491 octets +358‎ Précisions sur la réversibilité et ajout d'une référence académique. Plusieurs références dans la littérature se contredisent sur la réversibilité pour les règles sur les quantificateurs, mais celle fournie est l'une des plus explicites, émane d'un professeur reconnu, et recoupe aussi le cours d'Olivier Laurent annuler Balise : Éditeur visuel

actudiff 00:0023 mars 2023 à 00:00‎ Locarnitude discuter contributions‎ 24 133 octets +2 098‎ Précisions sur la notion de règles multiplicatives et additives, et précisions sur la réversibilité annuler Balise : Éditeur visuel

actudiff 00:2222 mars 2023 à 00:22‎ Locarnitude discuter contributions‎ 22 035 octets +559‎ corrections sur la réversibilité dans LK annuler Balise : Éditeur visuel

actudiff 19:2912 mars 2023 à 19:29‎ Locarnitude discuter contributions‎ m 21 476 octets +118‎ précision sur la réversibilité prémisses conclusions (clarification) annuler Balise : Éditeur visuel

actudiff 17:3830 juin 2022 à 17:38‎ Anne Bauval discuter contributions‎ 21 358 octets −1‎ Annulation de l'erreur de 145.242.20.108 (d) Immédiatement suivi d’un infinitif, le participe passé du verbe « faire » est invariable annuler Balise : Annulation
actudiff 16:2430 juin 2022 à 16:24‎ 145.242.20.108 discuter‎ 21 359 octets +1‎ Annulation de la modification de PIerre.Lescanne (d) "une variable s'est faitE capturer". Ou si on préfère, "une variable a été capturéE" annuler Balises : Annulation Révoqué
actudiff 16:1530 juin 2022 à 16:15‎ PIerre.Lescanne discuter contributions‎ 21 358 octets −1‎ Annulation de la modification de 37.214.73.148 (d) annuler Balise : Annulation

actudiff 14:1928 juin 2022 à 14:19‎ 37.214.73.148 discuter‎ 21 359 octets +1‎ →‎Groupe logique annuler Balises : Révoqué Éditeur visuel

actudiff 21:082 juin 2021 à 21:08‎ 85.171.245.57 discuter‎ 21 358 octets −6‎ Ce sont des groupes de règles, et non de séquents annuler Balise : Éditeur visuel

actudiff 18:437 juin 2020 à 18:43‎ WikiCleanerBot discuter contributions‎ m 21 364 octets −20‎ v2.02b - Correction syntaxique (Lien interne vers le titre de l’article) annuler Balise : WPCleaner

actudiff 20:078 janvier 2020 à 20:07‎ CodexBot discuter contributions‎ 21 384 octets −182‎ bot [0.61/60b] Amélioration bibliographique 4 : :titre,>sous-titre,±titre,ISBN,+… annuler

actudiff 12:3215 décembre 2019 à 12:32‎ Theon discuter contributions‎ 21 566 octets −47‎ →‎Groupe logique : très zouli annuler
actudiff 12:2815 décembre 2019 à 12:28‎ Theon discuter contributions‎ 21 613 octets +100‎ →‎Groupe structurel : plus zouli annuler
actudiff 12:2415 décembre 2019 à 12:24‎ Theon discuter contributions‎ 21 513 octets +77‎ →‎Groupe identité : plus joli annuler

actudiff 17:3114 décembre 2019 à 17:31‎ Theon discuter contributions‎ 21 436 octets +369‎ →‎Logiques non-classiques : refs annuler

actudiff 05:1526 septembre 2019 à 05:15‎ Adiewibot discuter contributions‎ m 21 067 octets −13‎ Maintenance modèle Ouvrage (Requête) / + corrections cosmétiques. annuler

actudiff 13:312 septembre 2019 à 13:31‎ 185.24.187.196 discuter‎ 21 080 octets +1‎ →‎La règle de coupure annuler

actudiff 19:0212 janvier 2019 à 19:02‎ Framabot discuter contributions‎ m 21 079 octets −5‎ Bot: nettoyage syntaxe (4) <ref> annuler

actudiff 11:4019 août 2018 à 11:40‎ Texvc2LaTeXBot discuter contributions‎ m 21 084 octets +4‎ Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation) annuler

actudiff 11:0127 juin 2018 à 11:01‎ Jrcourtois discuter contributions‎ 21 080 octets +57‎ lien orphelin annuler

actudiff 11:016 avril 2018 à 11:01‎ SniperMaské discuter contributions‎ m 21 023 octets +10‎ →‎Groupe structurel : rectif. formulation + syntaxe annuler

actudiff 13:515 avril 2018 à 13:51‎ SniperMaské discuter contributions‎ m 21 013 octets +1‎ →‎Groupe logique : syntaxe annuler
actudiff 13:505 avril 2018 à 13:50‎ SniperMaské discuter contributions‎ m 21 012 octets +1‎ →‎Groupe logique : syntaxe annuler

actudiff 02:5024 mars 2018 à 02:50‎ KolbertBot discuter contributions‎ m 21 011 octets +1‎ Bot: HTTP→HTTPS (v478) annuler

actudiff 15:397 février 2018 à 15:39‎ NicoV discuter contributions‎ m 21 010 octets +2‎ Mise en forme annuler

actudiff 20:567 janvier 2018 à 20:56‎ Fschwarzentruber discuter contributions‎ 20 283 octets +30‎ →‎Le système LK : j'ai déplacé la remarque sur LJ et LL dans "Discussion" car ça faisait du bruit dans la présentation du système LK annuler Balise : Éditeur visuel
actudiff 20:197 janvier 2018 à 20:19‎ Fschwarzentruber discuter contributions‎ 20 253 octets +110‎ →‎Le système LK : version modernisée par qui ? il faut une ref annuler Balise : Éditeur visuel

actudiff 01:1616 décembre 2017 à 01:16‎ Apokrif discuter contributions‎ 20 143 octets +41‎ {{redirect homophones|Séquent|Sécant}} annuler

actudiff 21:4430 octobre 2016 à 21:44‎ Lregnier discuter contributions‎ 20 102 octets +106‎ →‎Bibliographie annuler
actudiff 21:4330 octobre 2016 à 21:43‎ Lregnier discuter contributions‎ 19 996 octets +127‎ →‎Le calcul des séquents et les autres formalismes logiques : précisions et références annuler
actudiff 21:2430 octobre 2016 à 21:24‎ Lregnier discuter contributions‎ m 19 869 octets +18‎ →‎Théorème d'élimination des coupures : correction lien annuler

actudiff 08:2017 septembre 2016 à 08:20‎ Else If Then discuter contributions‎ 19 851 octets −21‎ Aucun résumé des modifications annuler

actudiff 20:5517 juin 2016 à 20:55‎ SniperMaské discuter contributions‎ m 19 872 octets +2‎ →‎Interprétation d'un séquent : syntaxe annuler
actudiff 20:5117 juin 2016 à 20:51‎ SniperMaské discuter contributions‎ m 19 870 octets +56‎ précisions + syntaxe + typographie + formatage annuler

actudiff 12:5730 avril 2016 à 12:57‎ Lomita discuter contributions‎ m 19 814 octets −6‎ v1.38 - Correction syntaxique (Titre : niveau de section manquant) annuler Balise : WPCleaner

actudiff 17:1929 avril 2016 à 17:19‎ Fschwarzentruber discuter contributions‎ 19 820 octets +1‎ Aucun résumé des modifications annuler

5 octobre 2024

4 mars 2024

30 juin 2023

27 mars 2023

23 mars 2023

22 mars 2023

12 mars 2023

30 juin 2022

28 juin 2022

2 juin 2021

7 juin 2020

8 janvier 2020

15 décembre 2019

14 décembre 2019

26 septembre 2019

2 septembre 2019

12 janvier 2019

19 août 2018

27 juin 2018

6 avril 2018

5 avril 2018

24 mars 2018

7 février 2018

10 janvier 2018

7 janvier 2018

16 décembre 2017

30 octobre 2016

17 septembre 2016

17 juin 2016

30 avril 2016

29 avril 2016