论文信息 - Classes of Operations Closed under Permutation, Cylindrification and Composition - 字舞流文

Classes of Operations Closed under Permutation, Cylindrification and Composition

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.

Miguel Couceiro | Erkko Lehtonen

[1] Erkko Lehtonen. Closed classes of functions, generalized constraints, and clusters , 2008 .

[2] L. A. Kaluzhnin,et al. Galois theory for post algebras. I , 1969 .

[3] Emil Popescu,et al. On Galois Connexions , 1994 .

[4] D. Geiger. CLOSED SYSTEMS OF FUNCTIONS AND PREDICATES , 1968 .

[5] Ágnes Szendrei,et al. Clones in universal algebra , 1986 .

[6] Miguel Couceiro,et al. On closed sets of relational constraints and classes of functions closed under variable substitutions , 2005 .

[7] Klaus Denecke,et al. Galois connections and applications , 2004 .

[8] Lisa Hellerstein. On generalized constraints and certificates , 2001, Discret. Math..

[9] D. Lau,et al. Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics) , 2006 .

[10] Nicholas Pippenger,et al. Galois theory for minors of finite functions , 1998, Discret. Math..

[11] R. Pöschel,et al. Funktionen- und Relationenalgebren : ein Kapitel der diskreten Mathematik , 1979 .

[12] C. J. Everett. Closure operators and Galois theory in lattices , 1944 .