×

\(A)-多值逻辑函数的分类。 (英语。俄文原件) Zbl 0958.03016号

多克。数学。 59,第3425-427号(1999年); Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 366,No.4,455-457(1999)。
从文本中:设\(k\)为正整数\(E_k={0,1,点,k-1)\({mathbf S}_k\)是\(E_k\)上的完全对称置换群\({\mathbf A}_k\)是({\mathbf S}_k~)的交替子群\({mathbf V}_4\)是这样的Klein四群:;并且\(P_k\)是\(k\)值逻辑的所有函数的集合。如果P_k中的\(f(x_1,\dots,x_n)和\({mathbf S}_k\中的\pi),则函数\。如果\(Q\subsetqP_k\),则\([Q]_A\)表示\({mathbfA}_k\的置换在叠加运算和转换到对偶函数的运算下\(Q\)的闭包。(P_k)中所有(A)-闭函数类的集合称为(k)值逻辑函数的(A)分类。
对于\(k\geq5\),正好有两个\(P_k\)的\(A\)-预完备类:幂等函数类\(I_k\。如果(k=4),则这两类被两个(A)-预完备类所补充:相对于({mathbfV}_4)置换的自对偶函数类(k_4)和拟线性函数类(L_4)。
为了描述多值逻辑函数的(A)-分类,有必要刻划位于(k\geq5)的(I_k)和(SLP_k)中的所有闭类,以及位于(k=4)的(L_4)中的闭类。我们描述了这个问题的解决方案。

MSC公司:

03B50号 多值逻辑
PDF格式BibTeX公司 XML格式引用