关于部分多值逻辑函数集中准完备集的若干性质

摘要：

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中“保关系”的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础.

关键词：多值逻辑、完备性、保关系、准完备集、Sheffer函数

所属期刊栏目：35

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60673193;湖南省重点学科建设项目;湖南省科技厅计划2011FJ6038;湖南省教育厅科学基金11C1216;湘潭大学自然科学基金10XZX19

在线出版日期：2012-08-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：754-760