Abstract:
Invariant predicates for some classes of quasimonotonic and monotonic functions on a finite semilattice are studied. Generating sets in the systems of such predicates are defined. For the purpose of generating, the operations of predicate conjunction and variable relabeling are used.