Equivalence and Transformations for Post Multivalued Algebras

Four commonly used multivalued algebras, the disjoint system of Post algebra developed by Epstein, the monotonic system of algebra called Muehldorf by some authors, the free system of algebra introduced by Braddock and Epstein, and the Herrmann system of algebra generalized here from its original three element algebra, are shown to be isomorphic. Transformations are then developed for transforming from one algebra to another. An example problem is presented to illustrate transforming from any of the above to the disjoint system of Post algebra.