An encoding of partial algebras as total algebras (abstract)

We introduce a semantic encoding of partial algebras as total algebras through a Horn axiomatization of the existence equality relation interpreted as an algebraic operation. We show that this novel encoding enjoys several important properties that make it a good tool for the execution of partial algebraic specifcations through means specifc to ordinary algebraic reasoning, such as term rewriting.