loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
35th International Symposium on Multiple-Valued Logic (ISMVL'05)
On the Partial Hyperclone Lattice
University of Calgary, Canada
May 19-May 21
ISBN: 0-7695-2336-6
Jovanka Pantovic, University of Novi Sad, Serbia and Montenegro
Gradimir Vojvodic, University of Novi Sad, Serbia and Montenegro
For any finite set A, the partial clone lattice on A is embedded into the partial hyperclone lattice on A. It is shown that there are maximal intervals in the partial hyperclone lattice and there are four minimal partial hyperclones such that their join contains all partial hyperoperations. It is proved in [5] that the mapping λ from the lattice of partial hyperclones on A into the lattice of clones of operations on P(A) defined by λ(C) = δ(C#), where δ(C#) is the clone of operations on P(A) generated by C#, is an order embedding, but not a full one. In this paper, it is proved that there are continuum many clones of operations on P(A) that are in the interval [λ(J_A ), λ(Hp_A ] but these are not in the set imλ of all images of the mapping λ, where J_A is the set of all (partial) hyperprojections and Hp_A is the set of all partial hyperoperations on A.
Citation:
Jovanka Pantovic, Gradimir Vojvodic, "On the Partial Hyperclone Lattice," ismvl, pp.96-100, 35th International Symposium on Multiple-Valued Logic (ISMVL'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.