关于部分K值逻辑Sheffer函数(Ⅲ) |
| |
引用本文: | 刘任任 陈建二 陈松乔. 关于部分K值逻辑Sheffer函数(Ⅲ)[J]. 计算机科学, 2002, 29(Z1): 30-33 |
| |
作者姓名: | 刘任任 陈建二 陈松乔 |
| |
作者单位: | 1. 中南大学信息科学与工程学院,长沙,410083;湘潭大学信息工程学院,湘潭,411105 2. 中南大学信息科学与工程学院,长沙,410083 |
| |
基金项目: | 国家自然科学基金资助项目(60082001). |
| |
摘 要: | 1.引言 在多值逻辑结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分.它分别包括完全、部分多值逻辑Sheffer函数的结构与判定,其判定问题与函数系完备性之判定密切相关,并可归结为定出完全与部分多值逻辑中极大封闭集的最小覆盖.对于完全多值逻辑函数集中的Sheffer函数,其判定与构造问题已经完全解决.对于部分多值逻辑函数集中的Sheffer函数,文[2,3]对于k一3,4定出了P*k的极大封闭集的最小覆盖;在文[4~6]中,证明了极大封闭集(即准完备集)保E函数集TE、L型函数集TG4.2、拟线性函数集Lp在P*k的极大封闭集之最小覆盖中必须出现;文[7,8]证明了m一2时,满足一定条件的完满对称函数集在最小覆盖中必须出现;文[9,10]证明了m=2时,满足一定条件的完满对称函数集在最小覆盖中必须出现,并证明了另几类完满对称函数集和正则可离函数集不是最小覆盖的成员.
|
On Sheffer Functions in Partial K-Valued Logic |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|