On Hyper Co-Clones

In this paper, we study closed sets of relations that are preserved by hyperoperations. We examine three already known Galois connections between hyperoperations and relations, and show that none of them induces a relational clone. We also introduce the notion of extended co-clone, and prove that there is a Galois connection (rPol, rInv) between extended hyperoperations on A and relations on non-void subsets of A with the property that rInv F is an extended co-clone. Moreover, we show that the three previously known classes of hyperclones can be defined by rPol.

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

[2]  Ferdinand Börner.  Basics of Galois Connections , 2008, Complexity of Constraints.

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

[4]  Jovanka Pantovic,et al.  Maximal Hyperclones on E2 as Hypercores , 2009, J. Multiple Valued Log. Soft Comput..

[5]  Boris A. Romov.  Restriction-Closed Hyperclones , 2007, 37th International Symposium on Multiple-Valued Logic (ISMVL'07).

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

[7]  Jovanka Pantovic,et al.  Hyperclones Determined by Total-Parts of Hyper-relations , 2009, 2009 39th International Symposium on Multiple-Valued Logic.

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

[9]  Jovanka Pantovic,et al.  On the partial hyperclone lattice , 2005, 35th International Symposium on Multiple-Valued Logic (ISMVL'05).

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

[11]  Jovanka Pantovic,et al.  Regular Sets of Operations , 2012, J. Multiple Valued Log. Soft Comput..