EQUATIONAL COMPLETENESS CRITERION IN TERNARY LOGIC
Background. Closure operators is one of the main tools for classifying multivalued logic functions. In addition to the well-known superposition operator, there are a number of so-called strong closure operators, i.e. operators that, for any , generate finite or countable classifications on the set of functions of -valued logic. The first of these operators was the parametric closure operator proposed by A. V. Kuznetsov in the mid of 1970s. In 2005, the author based on the ideas of J. Herbrand and K. Gödel, relating to recursive functions, introduced a new strong closure operator, the equational closure operator. Unlike other strong closure operators, in the equational closure operator, the definition of functions is done by deriving equations of a special kind. This distinctive feature of the equational closure operator does not allow the study of equationally closed classes of the set to use the technique and results available for other closure operators. In part, therefore, with the exception of the set of Boolean functions, in sets criteria for equational completeness have not yet been obtained. The aim of this paper is to find all equationally precomlete classes in and thus obtain a criterion of equational completeness. Materials and methods. Logical-functional methods are used in constructions and proofs. Results and conclusions . We consider the equational closure operator, i.e. a strong closure operator, which is based on the derivation of equations of a special kind from the system of equations that define the operator. For any using an algebraic means is defined by a fairly significant number of equationally closed classes in . For , 10 classes of this type are distinguished and it is proved that they form a criterion system of preface classes. The obtained results can be used both for further study of the equational closure operator and for comparison of the equational closure operator with other strong closure operators, in particular, with the positive closure operator close to it in terms of generated classifications.