期刊文章详细信息
部分K值逻辑中准完备集之最小复盖的一些结果(Ⅰ)
SOME RESULTS ON THE MINIMAL COVERING OF PRECOMPLETE CLASSES IN PARTIAL K-VALUED LOGIC(Ⅰ)
文献类型:期刊文章
机构地区:[1]湘潭大学计算机科学系
年 份:1992
卷 号:14
期 号:1
起止页码:123-129
语 种:中文
收录情况:AJ、CAS、CSCD、CSCD_E2011_2012、MR、SCOPUS、ZGKJHX、ZMATH、普通刊
摘 要:根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。
关 键 词:多值逻辑 准完备集 最小复盖
分 类 号:TP301]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...