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


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

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