Title :
Clones of Pivotally Decomposable Functions
Author :
Couceiro, Miguel ; Teheux, Bruno
Author_Institution :
Inria Nancy Grand Est, Univ.de Lorraine, Vandœuvre-lès-Nancy, France
Abstract :
This paper is a contribution to the understanding of the relation between pivotal decompositions of operations on a set and clones on the same set. In this preliminary study we establish sufficient conditions on a pivotal operation II so that the corresponding class of II decomposable operations constitutes a clone, and discuss the normal form representations that such pivotal operations induce. We also outline several open questions, providing directions for further research.
Keywords :
formal logic; functions; set theory; II-decomposable operations; clone; normal form representations; pivotal operation; pivotally decomposable functions; sufficient conditions; Boolean functions; Cloning; Electronic mail; Finite element analysis; Lattices; Polynomials; Shannon decomposition; clones; normal forms; pivotal decomposition;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2015 IEEE International Symposium on
Conference_Location :
Waterloo, ON
DOI :
10.1109/ISMVL.2015.9