Applying term rewriting to partial algebra theory

Abstract

In our paper we apply term rewriting to decidability of equations in classes of partial algebras, as well as to embeddability of partial algebras into classes of total ones. We follow the approach to partial algebras introduced by H.J. Kreowski in [13], in which (classes of) partial algebras are described by means of (classes of) total ones.