×

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

离散数学。申请。 7,第4期,353-381(1997); 从Diskretn翻译。材料9,第3号,125-152(1997年)。
摘要:建议将多值逻辑的函数集按两种运算进行分类:叠加和向对偶函数的转换(S分类)。作者于1979-82年开始对所有封闭类进行全面描述,完全由Nguen Van Hoa完成。如果\(k\geq5\),那么\(k\)值逻辑的函数集只有两个\(S\)预完成类:幂等函数类\(I_k\)和Słupecki类\(SLP_k \)。本文发现了决定S闭类的关键属性,并以所谓的基关系的形式进行了形式化。利用后代数的Galois理论,证明了不包含在(SLP_k)中的每一个(S)-闭函数类都可以用基本关系来描述。在基本关系的所有系统集合中,确定了所有独立系统,它们对应于不包含在\(SLP_i\)中的所有\(S\)-闭类。得到了(I_k)中包含的(S)-闭类数的精确公式,它是(k)中的三次多项式。

MSC公司:

03B50号 多值逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部