Toute relation systématique reliant structures algébriques et systèmes logiques de sorte que des identités algébriques reflètent des lois logiques et des dérivations logiques correspondent à des constructions algébriques.

Principe

Les opérations et équations d'une présentation algébrique codent les connecteurs logiques et l'entaillement ; inversement, les lois logiques peuvent être représentées comme identités algébriques dans une variété ou une classe équationnelle appropriée.

Démonstration

Dualité de Stone pour les algèbres booléennes et la logique propositionnelle : les théories propositionnelles correspondent aux algèbres booléennes de formules, où les homomorphismes algébriques reflètent les traductions logiques ; la sémantique algébrique de la logique modale représente les axiomes modaux comme identités dans les algèbres modales.

Mauvaise application

Considérer la notation algébrique informelle comme une méthode de preuve complète pour l'entaillement logique sans vérifier les conditions de préservation, ou forcer une logique dans un cadre algébrique qui ne capture pas ses règles d'inférence essentielles (par ex. logiques non algébrisables).

Conséquence

Fournit des outils algébriques (théorie des variétés, congruences, homomorphismes) pour étudier des propriétés logiques telles que complétude, décidabilité et définissabilité ; permet de transférer des résultats de classification et de décidabilité entre domaines.

Inversion

Se concentrer uniquement sur les identités algébriques comme primaires et ignorer le rôle interprétatif de la syntaxe et de la proof theory qui donnent à ces identités un contenu logique.

Limite

S'applique lorsque une logique est algébrisable ou admet une sémantique algébrique adéquate ; elle échoue pour de nombreux systèmes proof-théoriques dépourvus d'un pendant équationnel ou lorsque les relations de consequence sont non-équationnelles.

Tension sémantique

Tension entre la lecture de la correspondance comme une isomorphie de catégories (dualité étroite algébrique/logique) et une représentation plus lâche où les structures algébriques ne captent que certains aspects logiques.

Synthèse

La Correspondance Algébrique-Logique est l'encodage discipliné des systèmes logiques en structures algébriques et réciproquement, permettant aux méthodes algébriques de répondre à des questions logiques et montrant quand la logique résiste à une capture algébrique.