Integrating into a coherent framework and notation many results scattered throughout the literature, this title contains applications of hyperidentities to the functional completeness problem in multiple-valued logic. General theory is also extended to partial algebras and exercises and open problems with suggestions for future work are included.