Logique de Łukasiewicz

logique polyvalente, non-classique

En mathématique, la logique de Łukasiewicz est une logique polyvalentenon-classique. Elle a été définie à l'origine au début du XXe siècle par Jan Łukasiewicz comme une logique ternaire[1]; elle a ensuite été généralisé à n-valeur (pour tous n fini) ainsi qu'à une infinité de variante à valeurs multiples, les deux sont propositionnelle et du premier ordre[2]. La version ℵ0-valeur a été publié en 1930 par Łukasiewicz et Alfred Tarski; par conséquent, elle est parfois appelé la logique de Łukasiewicz-Tarski[3]. Celle-ci appartient aux classes de logique floue t-norme[4] et de logiques sous structurelles[5].

Cet article présente la logique de Łukasiewicz[-Tarski] dans toute sa généralité. Pour une introduction élémentaire à l'instanciation ternaire Ł3, voir logique ternaire.

Langage

modifier

Les connecteurs propositionnels de la logique de Łukasiewicz sont l'implication , la négation , l'équivalence , la conjonction inclusive conjonction exclusive , disjonction inclusive , disjonction exclusive , et les constantes propositionnelles et . La présence de la conjonction et de disjonction est une caractéristique commune des logiques sous-structurelles sans la règle de contraction, à laquelle la logique Łukasiewicz appartient.

Axiomes

modifier

Le système original d'axiomes pour la logique de Łukasiewicz utilise l'implication et la négation comme conjonctions primitifs:

La logique de Łukasiewicz peut également être axiomatisé en ajoutant les axiomes suivants au système axiomatique de la logique t-norme monoïdale:

  • Divisibilité :
  • Double négation :


Les logiques de Lukasiewicz à valeur-fini exigent des axiomes supplémentaires.

Sémantique des valeurs réelles

modifier

La logique de Łukasiewicz est une logique à valeur réelle dans laquelle les calculs de propositions peuvent être affectés d'une valeur de vérité de zéro ou un, mais aussi de nombre réel entre les deux (par exemple 0,25). Les évaluations ont une définition récursive où:

  •  pour un connecteur binaire
  •  et 

et où les définitions des opérations tiennent comme suit:

  • Implication :
  • Équivalence :
  • Négation :
  • Conjonction inclusive :
  • Disjonction inclusive :
  • Conjonction exclusive :
  • Disjonction exclusive :

La fonction de vérité  (conjonction exclusive) est la t-norme de Łukasiewicz et la fonction de vérité (disjonction exclusive) est son double t-conorme. La fonction de la vérité  est le résidu de la t-norme de Łukasiewicz. Toutes les fonctions de vérité des conjonctions de base sont continues.

Par définition, une formule est une tautologie de la logique de Łukasiewicz, si elle est évaluée à 1 dans l'intervalle [0, 1].

Voir aussi

modifier

Références

modifier
  1. Łukasiewicz J., 1920, O logice trójwartościowej (en polonais).
  2. Hay, L.S., 1963, Axiomatization of the infinite-valued predicate calculus.
  3. (en) Non-commutative Multiple-Valued Logic Algebras, Cham, Springer, , 276 p. (ISBN 978-3-319-01589-7, lire en ligne), vii
  4. Hájek P., 1998, Metamathematics of Fuzzy Logic.
  5. Ono, H., 2003, "Substructural logics and residuated lattices — an introduction".

Lecture supplémentaire

modifier
  • Rose, A. : 1956, Formalisation du Calcul Propositionnel Implicatif ℵ0 Valeurs de Łukasiewicz, C. R. Acad. Sci. Paris 243, 1183–1185.