Algèbre cylindrique

En mathématiques, la notion d'algèbre cylindrique, inventée par Alfred Tarski, est survenue naturellement dans l'algébrisation de la logique du premier ordre équationnelle.

Définition d'une algèbre cylindrique

Une algèbre cylindrique de dimension $\alpha$ (où $\alpha$ est un nombre ordinal) est une structure algébrique $(A,+,\cdot ,-,0,1,c_{\kappa },d_{\kappa \lambda }{)}_{\kappa ,\lambda <\alpha }$ tel que $(A,+,\cdot ,-,0,1)$ est une algèbre booléenne, $c_{\kappa }$ un opérateur unaire sur $A$ pour tout $\kappa$, et $d_{\kappa \lambda }$ un élément distingué de $A$ pour tout $\kappa$ et $\lambda$, de telle sorte que:

(C1) $c_{\kappa }0=0$

(C2) $x\le c_{\kappa }x$

(C3) $c_{\kappa }(x\cdot c_{\kappa }y)=c_{\kappa }x\cdot c_{\kappa }y$

(C4) $c_{\kappa }{c}_{\lambda }x=c_{\lambda }{c}_{\kappa }x$

(C5) $d_{\kappa \kappa }=1$

(C6) Si $\kappa \notin \{\lambda ,\mu \}$, alors $d_{\lambda \mu }=c_{\kappa }(d_{\lambda \kappa }\cdot d_{\kappa \mu })$

(C7) Si $\kappa \ne \lambda$, alors $c_{\kappa }(d_{\kappa \lambda }\cdot x)\cdot c_{\kappa }(d_{\kappa \lambda }\cdot -x)=0$

En supposant une présentation de la logique du premier ordre sans symboles de fonction, l'opérateur $c_{\kappa }x$ modélise quantification existentielle sur la variable $\kappa$ dans la formule $x$ tandis que l'opérateur $d_{\kappa \lambda }$ l'égalité des modèles des variables $\kappa$ et $\lambda$. Désormais, reformulé en utilisant les notations logiques standard, les axiomes peuvent se lire ainsi

(C1) $\mathrm{\exists }\kappa .𝑓𝑎𝑢𝑥\iff 𝑓𝑎𝑢𝑥$

(C2) $x\Rightarrow \mathrm{\exists }\kappa .x$

(C3) $\mathrm{\exists }\kappa .(x\wedge \mathrm{\exists }\kappa .y)\iff (\mathrm{\exists }\kappa .x)\wedge (\mathrm{\exists }\kappa .y)$

(C4) $\mathrm{\exists }\kappa \mathrm{\exists }\lambda .x\iff \mathrm{\exists }\lambda \mathrm{\exists }\kappa .x$

(C5) $\kappa =\kappa \iff 𝑣𝑟𝑎𝑖$

(C6) Si $\kappa$ est une variable différente de $\lambda$ et $\mu$, alors $\lambda =\mu \iff \mathrm{\exists }\kappa .(\lambda =\kappa \wedge \kappa =\mu )$

(C7) Si $\kappa$ et $\lambda$ sont différents entre elles, alors $\mathrm{\exists }\kappa .(\kappa =\lambda \wedge x)\wedge \mathrm{\exists }\kappa .(\kappa =\lambda \wedge \mathrm{\neg }x)\iff 𝑓𝑎𝑢𝑥$

Voir aussi

• Logique algébrique abstraite
• Lambda calcul et logique combinatoire
• Logique algébrique

Références

• Leon Henkin, Monk, J.D., et Alfred Tarski (1971) Cylindric Algebras, Partie I. North-Holland. Modèle:ISBN.
• -------- (1985) Cylindric Algebras, Partie II. North-Holland.
• Modèle:Ouvrage