Misplaced Pages

Birkhoff's theorem (equational logic)

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Theorem in equational logic
An editor has performed a search and found that sufficient sources exist to establish the subject's notability. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Birkhoff's theorem" equational logic – news · newspapers · books · scholar · JSTOR (May 2020) (Learn how and when to remove this message)

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. It is named after Garrett Birkhoff.

References

  1. Baader, Franz; Nipkow, Tobias (March 1998). "Term Rewriting and All That". Cambridge Core. p. Th. 3.5.14, p. 55. Retrieved 2020-02-13.


Stub icon

This logic-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: