V. G. Bodnar?uk, L. A. Kalu?nin, V. N. Kotov, and B. A. Romov, Galois theory for Post algebras. I English translation, II Kibernetika Cybernetics, vol.3, issue.5, pp.1-10, 1969.

M. Couceiro, On the lattice of equational classes of Boolean functions and its closed intervals, J. Mult.-Valued Logic Soft Comput, vol.18, pp.81-104, 2008.

M. Couceiro and S. Foldes, Definability of Boolean function classes by linear equations over GF(2), Discrete Applied Mathematics, vol.142, issue.1-3, pp.29-34, 2004.
DOI : 10.1016/j.dam.2003.09.002

M. Couceiro and S. Foldes, On closed sets of relational constraints and classes of functions closed under variable substitutions, Algebra universalis, vol.54, issue.2, pp.149-165, 2005.
DOI : 10.1007/s00012-005-1933-1

M. Couceiro and S. Foldes, Functional equations, constraints, definability of function classes, and functions of Boolean variables, Acta Cybernet, vol.18, pp.61-75, 2007.

M. Couceiro and S. Foldes, Function classes and relational constraints stable under compositions with cloness, Discussiones Mathematicae - General Algebra and Applications, vol.29, issue.2, pp.109-121, 2009.
DOI : 10.7151/dmgaa.1153

M. Couceiro, E. Lehtonen, and T. Waldhauser, On Equational Definability of Function Classes, 2011 41st IEEE International Symposium on Multiple-Valued Logic, pp.182-186, 2011.
DOI : 10.1109/ISMVL.2011.19

URL : https://hal.archives-ouvertes.fr/hal-01093668

M. Couceiro and J. Marichal, Axiomatizations of Lovász extensions of pseudo-Boolean functions, Fuzzy Sets and Systems, pp.28-38, 2011.

M. Couceiro and M. Pouzet, On a quasi-ordering on Boolean functions, Theoretical Computer Science, vol.396, issue.1-3, pp.71-87, 2008.
DOI : 10.1016/j.tcs.2008.01.025

O. Ekin, S. Foldes, P. Hammer, and L. Hellerstein, Equational characterizations of Boolean function classes, Discrete Math, pp.27-51, 2000.

S. Foldes, Equational classes of Boolean functions via the HSP Theorem, Algebra Universalis, vol.44, issue.3-4, pp.309-324, 2000.
DOI : 10.1007/s000120050190

S. Foldes and G. R. Pogosyan, Post classes characterized by functional terms, Discrete Applied Mathematics, vol.142, issue.1-3, pp.35-51, 2004.
DOI : 10.1016/j.dam.2003.01.002

URL : http://doi.org/10.1016/j.dam.2003.01.002

D. Geiger, Closed systems of functions and predicates, Pacific Journal of Mathematics, vol.27, issue.1, pp.95-100, 1968.
DOI : 10.2140/pjm.1968.27.95

M. Hermann, On Boolean primitive positive clones, Discrete Math, pp.3151-3162, 2008.

M. Kuczma, An Introduction to the Theory of Functional Equations and Inequalities. Cauchy's Equation and Jensen's Inequality, 2009.

A. V. Kuznecov, On detecting non-deducibility and non-expressibility, Logical deduction, pp.5-33, 1979.

D. Lau, Function Algebras on Finite Sets, 2006.

L. Lovász, Submodular functions and convexity, Mathematical Programming: The state of the art, pp.235-257, 1982.

H. Machida and I. G. Rosenberg, On the centralizers of monoids in clone theory, 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings., pp.303-308, 2003.
DOI : 10.1109/ISMVL.2003.1201421

S. S. Marchenkov and V. S. Fedorova, Solutions of systems of functional equations of manyvalued logic, Comput. Math. Cybernet, vol.33, pp.197-201, 2009.

N. Pippenger, Galois theory for minors of finite functions, Discrete Math, pp.405-419, 2002.

L. Szabó, On the lattice of clones acting bicentrally, Acta Cybernet, vol.6, pp.381-388, 1984.

D. M. Topkis, Minimizing a Submodular Function on a Lattice, Operations Research, vol.26, issue.2, pp.305-321, 1978.
DOI : 10.1287/opre.26.2.305

L. ?. Cnrs, 75775 Paris Cedex 16, France E-mail address: miguel.couceiro@dauphine.fr (E. Lehtonen) Computer Science and Communications Research Unit, rue Richard Coudenhove-Kalergi, L-1359 Luxembourg, Luxembourg and Centro dé Algebra da Universidade de Lisboa, Avenida Professor Gama Pinto, pp.1649-1652