Equational Closure and Closure with Respect to Enumeration on a Set of Partial Multivalued Logic Functions


如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅存取

详细

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

补充文件

附件文件
动作
1. JATS XML

版权所有 © Allerton Press, Inc., 2019