Complétude fonctionnelle de la logique à 3 valeurs

Dans le cadre de travaux récents , nous avons défini un langage basé sur une logique à trois valeurs à la Kleene, où signifie vrai, 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. $1$ $0$ $\bot$

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 et définie par les opérateurs et , donnée ci-dessous, est fonctionnellement complète. $E$ $\{1, 2, 3\}$ $\bullet, E_1$ $E_2$

$\begin{array}{cccccc} ∙ & 3 & 2 & 1 & E_{1} & E_{2} \\ 3 & 3 & 2 & 1 & 3 & 1 \\ 2 & 2 & 2 & 1 & 1 & 2 \\ 1 & 1 & 1 & 1 & 2 & 3 \end{array}$ $\begin{array}{c|ccc|c|c} ~\bullet~ & ~3~ & ~2~ & ~1~ & ~E_1~ & ~E_2~ \\ \hline 3 & 3 & 2 & 1 & 3 & 1 \\ 2 & 2 & 2 & 1 & 1 & 2 \\ 1 & 1 & 1 & 1 & 2 & 3 \end{array}$

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.

reference-request lo.logic Charles
la source

3

$3$

3

$3$

@ EmilJeřábek Merci, je viens de lire sur la logique du poste ternaire, et cela semble correspondre (bien que je ne trouve pas grand-chose non plus sur ce sujet). Auriez-vous des références sur le champ à 3 éléments? Google est un peu trop vague.

Charles

1 + 1 + \dots + 1

$1+1+\cdots+1$

{+, \cdot, 1}

$\{+,\cdot,1\}$

Les chapitres 5 et 6 du livre [Algèbres de fonction sur les ensembles finis, Dietlinde Lau, 2006] contiennent un traitement approfondi de l'exhaustivité fonctionnelle dans une logique à plusieurs valeurs (y compris les preuves). En résumé: la caractérisation de Rosenbergs [1965, 1970] des clones maximaux (également appelés clones précomplets) donne un critère de complétude fonctionnelle dans la logique à valeur k pour tout k.

Pour le cas particulier de la logique à 3 valeurs, une telle caractérisation (composée de 18 classes maximales / précomplètes) a déjà été donnée par Jablonskij en 1954. Par conséquent, afin de vérifier que votre ensemble d’opérateurs à 3 valeurs est fonctionnellement complet, il suffit de vérifier qu'ils ne rentrent dans aucune des 18 classes pré-complétées.

Gustav Nordh
la source

Complétude fonctionnelle de la logique à 3 valeurs

Réponses: