Logique Algébrique
discipline
raisonnement obtenu en manipulant des équations avec des variables libres
En logique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres. Ce qui est maintenant généralement appelé la logique algébrique classique se concentre sur l'identification et la description algébrique des modèles adaptés à l'étude de différentes logiques (sous la forme de classes d'algèbres qui constituent la sémantique algébrique de ces systèmes déductifs) et aux problèmes connexes, comme la représentation et la dualité.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Logique_algébrique
Lien Wikidata : https://www.wikidata.org/wiki/Q1005222