Birkhoff's theorem (equational logic)
notability. (May 2020) ) |
In
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
- ^ Baader, Franz; Nipkow, Tobias (March 1998). "Term Rewriting and All That". Cambridge Core. p. Th. 3.5.14, p. 55. Retrieved 2020-02-13.
 | This logic-related article is a stub. You can help Wikipedia by expanding it. |