Rosenberg-Type Completeness Criteria for Subclones of Slupecki's Clone

被引：1

作者：

Szendrei, Agnes ^{[1
]}

机构：

[1] Univ Colorado, Dept Math, Boulder, CO 80309 USA

来源：

2012 42ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL) | 2012年

关键词：

completeness; Slupecki's clone; maximal clone;

D O I：

10.1109/ISMVL.2012.54

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We describe all clones on a finite set with at least three elements, which are maximal for the property of not containing all nonsurjective operations. We deduce Rosenberg-type completeness criteria for every subclone of Slupecki's clone that contains all nonsurjective operations. As another application, we find all subclones of Slupecki's clone for which the associated R-relation has only finitely many classes.

引用

页码：349 / 354

页数：6

共 13 条

[1] [Anonymous], 1941, ANN MATH STUDIES
[2] Burle GA., 1967, DISKRET ANAL, V10, P3
[3] FINITE CLONES CONTAINING ALL PERMUTATIONS
HADDAD, L
ROSENBERG, IG
[J]. CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1994, 46 (05): : 951 - 970
[4] JABLONSKII SV, 1958, T MATEM I STEKLOV, V51, P5
[5] Jablonskij S. V., 1954, Dokl. Akad. Nauk SSSR, V95, P1153
[6] Lau D., 2006, SPRINGER MONOGRAPHS, DOI DOI 10.1007/3-540-36023-9
[7] Lehtonen E, 2011, ALGEBR UNIV, V65, P109, DOI 10.1007/s00012-011-0120-9
[8] Equivalence of operations with respect to discriminator clones
Lehtonen, Erkko
Szendrei, Agnes
[J]. DISCRETE MATHEMATICS, 2009, 309 (04) : 673 - 685
[9] Poschel R., 1979, Funktionen und Relationen-Algebren
[10] Rosenberg I G., 1970, Rozpravy Ceskoslovenske Akad. Ved., V80, P3

← 1 2 →