Email this article Equational Closure and Closure with Respect to Enumeration on a Set of Partial Multivalued Logic Functions
- Authors: Marchenkov S.S.1, Prostov V.A.1
-
Affiliations:
- Faculty of Computational Mathematics and Cybernetics
- Issue: Vol 43, No 3 (2019)
- Pages: 118-125
- Section: Article
- URL: https://journals.rcsi.science/0278-6419/article/view/176311
- DOI: https://doi.org/10.3103/S027864191903004X
- ID: 176311
Cite item
Open Access
Access granted
Subscription Access
Abstract
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 Pk* of partial k-valued logic functions. Thirteen II-precomplete classes are identified in class P3*.
About the authors
S. S. Marchenkov
Faculty of Computational Mathematics and Cybernetics
Author for correspondence.
Email: ssmarchen@yandex.ru
Russian Federation, Moscow, 119991
V. A. Prostov
Faculty of Computational Mathematics and Cybernetics
Author for correspondence.
Email: vasyapro08@mail.ru
Russian Federation, Moscow, 119991
Supplementary files
