关于部分四值逻辑中保2元正则可离关系的分类  

On the Sorting of Preserving Binary Regularly Separable Relation in Partial Four-valued Logic

作　　者：龚志伟[1] 刘任任[2] 

机构地区：[1]中南林业科技大学理学院,湖南长沙410004 [2]湘潭大学信息工程学院,湖南湘潭411105

出　　处：《计算技术与自动化》2006年第3期46-47,62,共3页Computing Technology and Automation

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

摘　　要：根据部分多值逻辑的完备性理论,定出部分四值逻辑中保2元正则可离关系,并按照准完备集之间的相似关系概念,对所定出的关系进行分类。According to the completeness theory of partial multi - valued logic preserving, binary regularly separable relations in partial four valued logic are determined and categorized by means of the concept of the similar relations among the precomplete classes.

关 键 词：多值逻辑 正则可离 相似关系 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]