Title :
Maximal and Minimal Closed Classes in Multiple-Valued Logic
Author_Institution :
Bolyai Inst., Univ. of Szeged, Szeged, Hungary
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;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2014 IEEE 44th International Symposium on
Conference_Location :
Bremen
DOI :
10.1109/ISMVL.2014.18