Birkhoff's theorem (equational logic)
Jump to navigation
Jump to search
 | An editor has determined that sufficient sources exist to establish the subject's notability. (May 2020) |
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.
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
 | This logic-related article is a stub. You can help Wikipedia by expanding it. |