關于部分Ｋ值邏輯中的單純可離函數集性質的一些結果
2004-04-29 00:00:00王婷劉任任
計算技術與自動化 2004年3期
摘 要：在多值邏輯函數結構理論中，Sheffer函數的判定與構造是其中的一個重要的組成部分。其判定問題與函數集完備性之判定密切相關，而完備性之判定又可歸結為定出其中的所有準完備集。對于部分多值邏輯，其函數集的完備性問題已徹底解決，即定出了其中 的所有準完備集(共七類)，但其中的Sheffer函數之判定與構造問題尚未徹底解決。
本文對第三類準完備集——單純可離函數集的性質進行了研究。
關鍵詞：多值邏輯；完備性；Sheffer函數；準完備集
中圖分類號：TP391
文獻標識碼：A
