Re: RL notation

On Feb 7, 4:42 pm, Marshall <marshall.spi..._at_gmail.com> wrote:
> Does having the universal equality relation E bring the same
> expressiveness as relational equality?
>
> I do know that having relational equality and the lattice order
> operator have the same expressiveness, because you can
> define each in terms of the other.

Again, there is relational equality as an operator comparing relations (either variables or constants), versus a single relational constant E (or, alternatively, many constants like `x=y`, `y=z`, etc). We can't hardly perform any expression manipulation without leveraging properties of equality constants. Those have to be expressed as additional axioms. Received on Fri Feb 08 2008 - 02:37:08 CET