关于部分K值逻辑中的单纯可离函数集性质的一些结果  

Some Results on the Properties of Simply Separable Function Set in Partial K-valued Logic

作　　者：王婷[1] 刘任任[1] 

机构地区：[1]湘潭大学信息工程学院,湖南湘潭411105

出　　处：《计算技术与自动化》2004年第3期32-33,72,共3页Computing Technology and Automation

基　　金：国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)

摘　　要：在多值逻辑函数结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分。其判定问题与函数集完备性之判定密切相关,而完备性之判定又可归结为定出其中的所有准完备集。对于部分多值逻辑,其函数集的完备性问题已彻底解决,即定出了其中的所有准完备集(共七类),但其中的Sheffer函数之判定与构造问题尚未彻底解决。本文对第三类准完备集———单纯可离函数集的性质进行了研究。In multiple-valued logic theories, the discussion and construction for Sheffer function is an important problem. The discussion for Sheffer function and for the completeness of functions is osculated, and the solution of the later problem depends on determining all precomplete classes. For partial multiple-valued logic, the decision problem for completeness had been thoroughly solved by determining all the precomplete classes (seven species altogether), but the discussion and construction for Sheffer functions haven't been solved completely. In this paper, some properties of simply separable function set are discussed.

关 键 词：数集 SHEFFER函数 完备性 判定 多值逻辑 性质 构造 性问题 结构理论 组成部分 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] G633[自动化与计算机技术—计算机科学与技术]