DESCRIPTION OF THE FAMILY OF G-COMPLETE CLASSES OF K-VALUED LOGIC

被引：0

作者：

HOA, NV

机构：

来源：

CYBERNETICS | 1990年 / 26卷 / 05期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The traditional completeness problem of k-valued logic is replaced with the G-completeness problem of identification of functions with an identical stabilizer in the group generated by all permutations of variables. The set of closed classes separating those that are G-complete from those that are not G-complete is shown to be infinite for k greater-than-or-equal-to 3.

引用

页码：629 / 634

页数：6

共 50 条

[1] A Family of Closed Classes in k-Valued Logic
D. G. Meshchaninov
Moscow University Computational Mathematics and Cybernetics, 2019, 43 (1) : 25 - 31
[2] ON THE STRUCTURAL-PROPERTIES OF A FAMILY OF G-COMPLETE CLOSED CLASSES IN KAPPA-VALUED LOGIC
HOA, NV
DOKLADY AKADEMII NAUK BELARUSI, 1989, 33 (11): : 969 - 971
[3] CONGRUENCES IN CLOSED CLASSES IN A K-VALUED LOGIC, DEFINED BY PREDICATES
GORLOV, VV
MATHEMATICAL NOTES, 1985, 38 (5-6) : 923 - 927
[4] On the closed classes of k-valued logic selfdual with respect to transitive groups
Discrete Math Appl, 2 (179):
[5] On closed classes in partial k-valued logic that contain all polynomials
Alekseev, Valeriy B.
DISCRETE MATHEMATICS AND APPLICATIONS, 2021, 31 (04): : 231 - 240
[6] COMPARISON OF INTERVALS OF CLOSED CLASSES IN A FUNCTIONAL SYSTEM OF K-VALUED LOGIC
VANHOA, N
CYBERNETICS AND SYSTEMS ANALYSIS, 1992, 28 (06) : 825 - 829
[7] CLOSED CLASSES OF K-VALUED LOGIC, ALL OF WHOSE CONGRUENCES ARE TRIVIAL
GORLOV, VV
MATHEMATICAL NOTES, 1977, 22 (3-4) : 769 - 775
[8] THE EXISTENCE OF MAXIMAL CLASSES WITHOUT FINITE BASIS IN K-VALUED LOGIC
MIKHEEVA, EA
DOKLADY AKADEMII NAUK SSSR, 1986, 287 (01): : 49 - 52
[9] ON PRECOMPLETE CLASSES IN K-VALUED LOGICS
ZAKHAROVA, EY
KUDRYAVT.VB
YABLONSK.SV
DOKLADY AKADEMII NAUK SSSR, 1969, 186 (03): : 509 - +
[10] On the α-superposition of functions of a k-valued logic
Shabunin, A. L.
SIBERIAN MATHEMATICAL JOURNAL, 2007, 48 (02) : 354 - 368

← 1 2 3 4 5 →