Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next 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: | ||