Equivalence and Transformations for Post Multivalued Algebras
- 1 March 1974
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-23 (3) , 294-300
- https://doi.org/10.1109/T-C.1974.223925
Abstract
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.Keywords
This publication has 0 references indexed in Scilit: