DocumentCode :
166764
Title :
Maximal and Minimal Closed Classes in Multiple-Valued Logic
Author :
Waldhauser, T.
Author_Institution :
Bolyai Inst., Univ. of Szeged, Szeged, Hungary
fYear :
2014
fDate :
19-21 May 2014
Firstpage :
55
Lastpage :
60
Abstract :
We consider classes of operations in multiple-valued logic that are closed under composition as well as under permutation of variables, identification of variables (diagonalization) and introduction of inessential variables (cylindrification). Such closed classes on a given finite set form a complete lattice that includes the lattice of clones as the principal filter above the trivial clone. We determine all maximal closed classes, it turns out that there is only one family of closed classes besides Rosenberg´s six families of maximal clones. For minimal closed classes we prove an analogon of Rosenberg´s five-type classification of minimal clones and we describe explicitly the unary closed classes.
Keywords :
multivalued logic; set theory; Rosenberg five-type classification; Rosenberg six families; cylindrification; finite set form; inessential variables; maximal closed classes; minimal closed classes; multiple-valued logic; principal filter; trivial clone; unary closed classes; variable identification; variable permutation; Algebra; Cloning; Educational institutions; Electronic mail; Indexes; Lattices; Terminology; classes of operations; clone; composition of operations; equational class; maximal clone; minimal clone;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2014 IEEE 44th International Symposium on
Conference_Location :
Bremen
ISSN :
0195-623X
Type :
conf
DOI :
10.1109/ISMVL.2014.18
Filename :
6844996
Link To Document :
بازگشت