DocumentCode :
2298423
Title :
Rosenberg-Type Completeness Criteria for Subclones of Slupecki´s Clone
Author :
Szendrei, Agnes
Author_Institution :
Dept. of Math., Univ. of Colorado at Boulder, Boulder, CO, USA
fYear :
2012
fDate :
14-16 May 2012
Firstpage :
349
Lastpage :
354
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on
Conference_Location :
Victoria, BC
ISSN :
0195-623X
Print_ISBN :
978-1-4673-0908-0
Type :
conf
DOI :
10.1109/ISMVL.2012.54
Filename :
6214833
Link To Document :
بازگشت