部分K值逻辑中正则可离函数集的一些结果

• 作者: 刘任任 刘玉珍
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 多值逻辑 完备性 Sheffer函数 极大封闭集(准完备集) 最小覆盖
• 年，卷（期）: 2006,（9）
• 所属期刊栏目: 学术探讨
• 页码范围: 48-49,72
• 页数: 3页
• 分类号: O141
• 字数: 2739字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.09.015

摘要

根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2({1,2])∪G2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘任任	湘潭大学信息工程学院	104	608	13.0	20.0
2	刘玉珍	湘潭大学信息工程学院	11	45	4.0	6.0