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

被引：0

作者：

S. S. Marchenkov

V. A. Prostov

机构：

[1] Moscow State University,Faculty of Computational Mathematics and Cybernetics

来源：

Moscow University Computational Mathematics and Cybernetics | 2019年 / 43卷 / 3期

关键词：

operators of equational closure; closure with respect to enumeration;

D O I：

10.3103/S027864191903004X

中图分类号：

学科分类号：

摘要：

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*.

引用

页码：118 / 125

页数：7

共 31 条

[1] On the action of the implicative closure operator on the set of partial functions of the multivalued logic
Marchenkov, Sergey S.
[J]. DISCRETE MATHEMATICS AND APPLICATIONS, 2021, 31 (03): : 155 - 164
[2] On the enumeration closure operator in multivalued logic
Marchenkov S.S.
[J]. Moscow University Computational Mathematics and Cybernetics, 2015, 39 (2) : 81 - 87
[3] Completeness criterion with respect to the enumeration closure operator in the three-valued logic
Marchenkov, Sergey S.
Prostov, Vasilii A.
[J]. DISCRETE MATHEMATICS AND APPLICATIONS, 2022, 32 (02): : 105 - 114
[4] Strong closure operators on the set of partial Boolean functions
S. S. Marchenkov
[J]. Doklady Mathematics, 2008, 77 : 288 - 289
[5] Strong closure operators on the set of partial Boolean functions
Marchenkov, S. S.
[J]. DOKLADY MATHEMATICS, 2008, 77 (02) : 288 - 289
[6] The closure operator in a multivalued logic based on functional equations
Marchenkov S.S.
[J]. Journal of Applied and Industrial Mathematics, 2011, 5 (3) : 383 - 390
[7] EQUATIONAL LOGIC OF PARTIAL FUNCTIONS UNDER KLEENE EQUALITY - A COMPLETE AND AN INCOMPLETE SET OF RULES
ROBINSON, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (02) : 354 - 362
[8] The closure of the set of iterable functions
Barbara Przebieracz
[J]. Aequationes mathematicae, 2008, 75 : 239 - 250
[9] The closure of the set of iterable functions
Przebieracz, Barbara
[J]. AEQUATIONES MATHEMATICAE, 2008, 75 (03) : 239 - 250
[10] Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra
Jeandel, Emmanuel
[J]. 2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,

← 1 2 3 4 →