Abstract
AbstractThe paper is concerned with the completeness problem in implicit expressibility in a multi-valued logics Pk. 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
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have