On some implicitly precomplete classes of monotone functions in Pk
Mikhail Vasil'evich Starostin · Discrete Mathematics and Applications · 2020
Abstract The paper is concerned with the completeness problem in implicit expressibility in a multi-valued logics P k . For each k ≥ 2 and any nontrivial order relation on the set {0, 1, …, k − 1} we find two implicitly precomplete classes of functions which are monotone with respect to this order