Top Qs
Timeline
Chat
Perspective
Birkhoff's theorem (equational logic)
Theorem in equational logic From Wikipedia, the free encyclopedia
Remove ads
In logic, Birkhoff's theorem in equational logic states that an equality t = u is a semantic consequence of a set of equalities E, if and only if t = u can be proven from the set of equalities.[1] It is named after Garrett Birkhoff.
 | An editor has determined that sufficient sources exist to establish the subject's notability. (May 2020) |
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads