Title :
Classes of Operations Closed under Permutation, Cylindrification and Composition
Author :
Couceiro, Miguel ; Lehtonen, Erkko
Author_Institution :
Math. Res. Unit, Univ. of Luxembourg, Luxembourg, Luxembourg
Abstract :
We describe the classes of operations closed under permutation of variables, addition of dummy variables and composition in terms of a preservation relation between operations and certain systems of multisets.
Keywords :
Algebra; Cloning; Computer science; Logic; Mathematics; Prototypes;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on
Conference_Location :
Barcelona, Spain
Print_ISBN :
978-1-4244-6752-5
DOI :
10.1109/ISMVL.2010.30
