Dans le cadre de travaux récents , nous avons défini un langage basé sur une logique à trois valeurs à la Kleene, où signifie vrai, 0 pour faux et ⊥ pour erreur ou ne sait pas. Afin de montrer que notre langage était expressif, nous avons voulu prouver que nous pouvions construire un ensemble d'opérateurs fonctionnellement complet.
Il était assez difficile de trouver des résultats existants dans la littérature. Nous avons trouvé un article écrit en 1962 par Jobe, qui énonce le théorème suivant:
Jobe 1962 Theorem Paper (accès restreint).
La logique à trois valeurs exprimée sur l'ensemble { 1 , 2 , 3 } et définie par les opérateurs ∙ , E 1 et E 2 , donnée ci-dessous, est fonctionnellement complète.
Dans notre article, nous avons utilisé ce résultat en montrant une correspondance entre nos opérateurs et ceux définis par Jobe (en gros, nous utilisons la conjonction forte, la négation et un opérateur qui transforme le non-savoir en faux).
Ma principale préoccupation est que je ne suis pas en mesure de comprendre la preuve de l'exhaustivité fonctionnelle de Jobe, et nous n'avons pas pu trouver d'autre résultat (positif ou négatif) après cette date, ce qui est en quelque sorte un peu surprenant.
Ma question est donc la suivante: existe-t-il des résultats plus connus sur l'exhaustivité fonctionnelle des logiques à 3 valeurs? Toute information dans ce sens serait utile.