Correspondance Algébrique-Logique
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
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.