Title :
Rosenberg-Type Completeness Criteria for Subclones of Slupecki´s Clone
Author_Institution :
Dept. of Math., Univ. of Colorado at Boulder, Boulder, CO, USA
Abstract :
We describe all clones on a finite set with at least three elements, which are maximal for the property of not containing all non surjective operations. We deduce Rosenberg-type completeness criteria for every sub clone of Slupecki´s clone that contains all non surjective operations. As another application, we find all sub clones of Slupecki´s clone for which the associated R-relation has only finitely many classes.
Keywords :
multivalued logic; set theory; R-relation; Rosenberg-type completeness criteria; Slupecki clone; finite set; nonsurjective operation; Cloning; Educational institutions; Electronic mail; Lattices; Terminology; USA Councils; Slupecki´s clone; completeness; maximal clone;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on
Conference_Location :
Victoria, BC
Print_ISBN :
978-1-4673-0908-0
DOI :
10.1109/ISMVL.2012.54