Title :
On Equational Definability of Function Classes
Author :
Couceiro, Miguel ; Lehtonen, Erkko ; Waldhauser, Tamás
Author_Institution :
Technol. & Commun., Univ. of Luxembourg, Luxemburg City, Luxembourg
Abstract :
We propose a notion of functional equation for functions of a fixed arity, which is based on a pair of clones. We present necessary conditions for a class of functions to be definable by such equations, and show that for certain choices of clones these conditions are also sufficient.
Keywords :
functional equations; set theory; equational definability; fixed arity function; function class; functional equation; Boolean functions; Cloning; Equations; Presses; Vectors;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on
Conference_Location :
Tuusula
Print_ISBN :
978-1-4577-0112-2
Electronic_ISBN :
0195-623X
DOI :
10.1109/ISMVL.2011.19
