部分K值逻辑中单纯可离函数集结构研究

编号 zgly0000789581

文献类型 期刊论文

文献题名 部分K值逻辑中单纯可离函数集结构研究

作者 龚志伟  刘任任  王婷 

作者单位 中南林业科技大学理学院  湘潭大学信息工程学院 

母体文献 山东大学学报: 理学版 

年卷期 2012,47(5)

页码 89-92,97

年份 2012 

分类号 TP301 

关键词 多值逻辑  准完备集  单纯可离函数集 

文摘内容 根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。