Abstract:Background. Functional equations are one of the most widely-used ways to define functions in various areas of mathematics. The article considers the systems of functional equations on multiple functions of countably valued logic and the closure operator, based on existence of a solution for the given systems - FE-closure operator. The work investigates some properties and expressiveness of the FE-closure operator with and without logical connectives. Materials and methods. The FE-closure operator, considered in the paper, is researched similarly to the previously-known closure operators. Such main notions as closure of set, closed and precomplete class are determinedsimilarly to other closure operators. In proving the author used well-known facts about Boulean functions, permutations in multiple natural numbers, homogeneous function class and conjugation principle for the closure operator. Results. It is proved that the FE-closure of an empty set with logical connective disjunction coincides with the FE-closure of a ternary discriminator p. It is established that FE-closure of a ternary discriminator p and final constant pool coincides with the set of all functions, self-conjugated relative to any permutations with fixed points coinciding with the given constants. It is shown that the strength of the FE-precomplete class assemblage is at most continuous. Conclusions. On the basis of the considered properties of the FE-closure operator with and without logical connectives it is possible to estimate its expressiveness. The considered closure operator is a strong closure operator (in comparison, for example, with superposition operators), and nevertheless it causes quite a lot of closed and precomplete classes.
Keywords:functions of countably valued logic, FE-closure operator.
Fulltext:
PDF file (453 kB)