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