摘要
根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围.
According to the completeness theory in partial K-valued logic, the simply separable function sets which can be covered by other precomplete sets was picked out and the scope of minimal covering was thus lessened.
出处
《海南师范学院学报（自然科学版）》
2006年第3期222-224,共3页
Journal of Hainan Normal University:Natural Science
关键词
多值逻辑
单纯可离
最小覆盖
multiple-valued logic
simple separability
minimal covering
