This is an old revision of the document!
Axioms for Equality
For language and a relation symbol
, the theory of equality, denoted AxEq, is the following set of formulas:
Definition: if an interpretation the axioms
are true, then we call
(the interpretation of eq) a congruence relation for interpretation
.
References
- Calculus of Computation Textbook, Section 3.1