Equational Closure and Closure with Respect to Enumeration on a Set of Partial Multivalued Logic Functions
- 作者: Marchenkov S.S.1, Prostov V.A.1
-
隶属关系:
- Faculty of Computational Mathematics and Cybernetics
- 期: 卷 43, 编号 3 (2019)
- 页面: 118-125
- 栏目: Article
- URL: https://journals.rcsi.science/0278-6419/article/view/176311
- DOI: https://doi.org/10.3103/S027864191903004X
- ID: 176311
如何引用文章
详细
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*.
作者简介
S. Marchenkov
Faculty of Computational Mathematics and Cybernetics
编辑信件的主要联系方式.
Email: ssmarchen@yandex.ru
俄罗斯联邦, Moscow, 119991
V. Prostov
Faculty of Computational Mathematics and Cybernetics
编辑信件的主要联系方式.
Email: vasyapro08@mail.ru
俄罗斯联邦, Moscow, 119991
补充文件
