Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:axioms_for_equality [2009/05/06 09:52] 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. | + | //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: |