Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sav08:axioms_for_equality [2009/05/05 23:21] vkuncak |
sav08:axioms_for_equality [2009/05/06 09:52] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Axioms for Equality ====== | ====== Axioms for Equality ====== | ||
+ | |||
+ | //The following definitions are useful when axiomatizing equality in a logic that does not have equality built in. It is also useful when discussing algorithms that automate reasoning about equality.// | ||
For language ${\cal L}$ and a relation symbol $eq \notin {\cal L}$, the theory of equality, denoted AxEq, is the following set of formulas: | For language ${\cal L}$ and a relation symbol $eq \notin {\cal L}$, the theory of equality, denoted AxEq, is the following set of formulas: |