One of the direction in discrete function’s investigations is research of functional systems: the sets of functions and the sets of operators defined on this functions. The modern line of inquiry of functional systems deals with generalization of manyvalued functions such as partial functions, multifunctions or hyperfunctions. Hyperfunctions are discrete functions from a finite set A to all nonempty subsets of A which closed with respect to the superposition operator. In addition of the superposition operator its interesting to exam more stronger operators which given nontrivial function’s classifications. For example, the criterion of completeness for the closure operator with the equality predicate branching on the set of hyperfunctions on two-element set was found. Another well-known strong operator is the parametric closure operator. Twenty five closed classes of Boolean functions is known for this operator. In this work we precise the definition of the parametric closure operator for the set of hyperfunctions and consider this operator on set of hyperfunctions on two-element set. With respect to this operator thirteen closed classes of hyperfunctions are founded. Two of them S− and L− are parametric precomplete. The lattice of parametric closed classes of hyperfunctions on two-element set are obtained and parametric bases of this classes are defined.
Alan : Fen Bilimleri ve Matematik
Dergi Türü : Uluslararası
Benzer Makaleler | Yazar | # |
---|
Makale | Yazar | # |
---|