科创中国

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

原文链接：万方

• 作者：

  王婷,刘任任

• 摘要：

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

• 关键词：

  多值逻辑 完备性 准完备

• 作者单位：

  湘潭大学信息工程学院%湘潭大学智能计算与信息处理教育部重点实验室

• 基金项目：

  国家自然科学基金项目(60673193)% 湖南省科技厅计划项目(2011FJ6038)% 湖南省教育厅科学基金项目(11C1216)% 湘潭大学自然科学基金项目(10XZX19)资助

• 来源期刊：

  计算机科学

• 年，卷(期)：

  2012010