Hyperclones Determined by Total-Parts of Hyper-relations

This paper studies sets  of hyper-operations preserving relations on power set without emptyset. For a particular property of a relation, such a set  is hyperclone. We consider relations having total part exactly from Rosenberg's classes of relations.  By investigating nontrivial equivalence relations,  central relations and regular relations as total part, we show that sets of hyper-operations preserving such hyper-relations are maximal hyperclones.

[1]  D. Lau,et al.  Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics) , 2006 .

[2]  D. Lau,et al.  Function algebras on finite sets : a basic course on many-valued logic and clone theory , 2006 .

[3]  Boris A. Romov.  Hyperclones on a finite set , 1997, Proceedings 1997 27th International Symposium on Multiple- Valued Logic.

[4]  I.G. Rosenberg.  An algebraic approach to hyperalgebras , 1996, Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96).

[5]  Jovanka Pantovic,et al.  Minimal partial hyperclones on a two-element set , 2004, Proceedings. 34th International Symposium on Multiple-Valued Logic.

[6]  Boris A. Romov.  Partial hyperclones on a finite set , 2002, Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic.

[7]  Jovanka Pantovic,et al.  On Maximal Hyperclones on {0, 1} A New Approach , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).

[8]  Ivo G. Rosenberg.  Multiple-valued hyperstructures , 1998, Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138).

[9]  Jon T. Butler,et al.  Multiple-valued logic , 1995 .