LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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: