Image by Van3ssa_ on Pixabay · Pixabay License
logique algébrique
Sign in to saveAlso known as Algebraic logic
raisonnement obtenu en manipulant des équations avec des variables libres
Wikidata facts
- Instance of
- branch of mathematics
- Subclass of
- mathematical logic
Show 2 more facts
- topic's main category
- Category:Algebraic logic
- Commons category
- Algebraic logic
Sources (2)
via Wikidata · CC0
Article · Français
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é.
Abstract from DBpedia / Wikipedia · CC BY-SA