KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

Article collection "Mathematical Problems of Cybernetics" №19, Moscow, 2019
Authors: Podol'ko D.K.
Multivalued logic classes closed with respect to strengthened superposition operation
Abstract:
The paper studies k-valued logic functions for k = 2m, m ≥ 2. Such functions are encoded in the binary number system and a special β-closure operator is defined. The completeness criteria for β-closed classes is obtained and all maximal classes are described for this operator. It is proven that the set of β-closed classes of functions, taking no more than two values, is countably infinite and the description of such classes is provided. A closed class of Boolean functions is associated with every set of the k-valued logic functions and called its boolean closure. For every r = 3, 4 and every Boolean closed class B it is shown that the family of β-closed classes with boolean closure equal to B and containing only functions, taking not more than r values, is finite or continuous. For given r the explicit partition of all Boolean closed classes with respect to this criteria is provided.
Keywords:
functional systems, multivalued logic functions, closed classes, superposition
Publication language: russian,  страниц: 80 (p. 199-278)
Research direction:
Mathematical problems and theory of numerical methods
Russian source text: