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
Қосымша файлдар
