Equational Closure and Closure with Respect to Enumeration on a Set of Partial Multivalued Logic Functions
Sergey Seraphimovich Marchenkov, Vasilii A. Prostov · Moscow University Computational Mathematics and Cybernetics · 2019
It is proven that for any k ⩾ 2, operators of equational closure and closure with respect to enumeration (Π-operator) generate one and the same classification on set P k * of partial k -valued logic functions. Thirteen II-precomplete classes are identified in class P 3 *.