Function Classes and Relational Constraints Stable under Compositions with Clones
نویسندگان
چکیده
The general Galois theory for functions and relational constraints over arbitrary sets described in the authors’ previous paper is refined by imposing algebraic conditions on relations.
منابع مشابه
Functional Equations, Constraints, Definability of Function Classes, and Functions of Boolean Variables
The paper deals with classes of functions of several variables defined on an arbitrary set A and taking values in a possibly different set B. Definability of function classes by functional equations is shown to be equivalent to definability by relational constraints, generalizing a fact established by Pippenger in the case A = B = {0, 1}. Conditions for a class of functions to be definable by c...
متن کاملLinear optimization on Hamacher-fuzzy relational inequalities
In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated where the feasible region is formed as the intersection of two inequality fuzzy systems and Hamacher family of t-norms is considered as fuzzy composition. Hamacher family of t-norms is a parametric family of continuous strict t-norms, whose members are decreasing functions of ...
متن کاملLP problems constrained with D-FRIs
In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated where the feasible region is formed as the intersection of two inequality fuzzy systems and Dombi family of t-norms is considered as fuzzy composition. Dombi family of t-norms includes a parametric family of continuous strict t-norms, whose members are increasing functions of ...
متن کاملLinear optimization on the intersection of two fuzzy relational inequalities defined with Yager family of t-norms
In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated where the feasible region is formed as the intersection of two inequality fuzzy systems and Yager family of t-norms is considered as fuzzy composition. Yager family of t-norms is a parametric family of continuous nilpotent t-norms which is also one of the most frequently appli...
متن کاملA complete classification of equational classes of threshold functions included in clones
The class of threshold functions is known to be characterizable by functional equations or, equivalently, by pairs of relations, which are called relational constraints. It was shown by Hellerstein that this class cannot be characterized by a finite number of such objects. In this paper, we investigate classes of threshold functions which arise as intersections of the class of all threshold fun...
متن کامل