16 citations · 38 across the 15 of their papers we have counts for
7 papers · 1 filter
Essential Variables and Separable Sets in Universal Algebra
Slavcho Shtrakov, Klaus Denecke
The study of essential and strongly essential variables in functions defined on finite sets is a part of -valued logic. We extend the main definitions from functions to terms. T…
Multi-Hypersubstitutions and Colored Solid Varieties
Klaus Denecke, Jorg Koppitz, Slavcho Shtrakov
Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees. The…
The Depth of a Hypersubstitution
Klaus Denecke, Jorg Koppitz, Slavcho Shtrakov
For given depth of a we derive a formula for the depth of the image of that term under a given hypersubstitution.
On mappings of terms determined by hypersubstitutions
Jorg Koppitz, Slavcho Shtrakov
The extensions of hypersubstitutions are mappings on the set of all terms. In the present paper we characterize all hypersubstitutions which provide bijections on the set of all te…
On finite functions with non-trivial arity gap
Slavcho Shtrakov, Joerg Koppitz
Given an -ary valued function , denotes the minimal number of essential variables in which become fictive when identifying any two distinct essential variabl…
Essential arity gap of Boolean functions
Slavcho Shtrakov
We investigate the Boolean functions with essential arity gap 2. We use Full Conjunctive Normal Forms instead of Zhegalkin's polynomials, which allow us to simplify the proofs and…