關于部分四值邏輯中保２元正則可離關系的分類
2006-01-01 00:00:00龔志偉劉任任
計算技術與自動化 2006年3期
摘 要：根據部分多值邏輯的完備性理論，定出部分四值邏輯中保2元正則可離關系，并按照準完備集之間的相似關系概念，對所定出的關系進行分類。
關鍵詞：多值邏輯；正則可離；相似關系
中圖分類號：TP301
文獻標識碼：A
文章編號：1003—6199(2006)03—0046—02
摘 要：根據部分多值邏輯的完備性理論，定出部分四值邏輯中保2元正則可離關系，并按照準完備集之間的相似關系概念，對所定出的關系進行分類。
關鍵詞：多值邏輯；正則可離；相似關系
中圖分類號：TP301
文獻標識碼：A
文章編號：1003—6199(2006)03—0046—02
