部分多值逻辑中单纯可离和完满对称关系的计数

• 作者: 刘任任 王婷
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 多值逻辑 完备性 准完备
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 人工智能
• 页码范围: 224-226
• 分类号: TP301.1
• 字数: 3533字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.10.050

摘要

根据部分多值逻辑的完备性理论,对两类准完备集——单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘任任	湘潭大学智能计算与信息处理教育部重点实验室	104	608	13.0	20.0
2	王婷	湘潭大学信息工程学院	18	66	5.0	8.0