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é. — Wikipédia (CC BY-SA)
Nature : branche des mathématiques
Catégories : disciplines académiques · sciences · concepts abstraits
Mots du lexique : logique nom commun, algébrique adjectif