部分四值逻辑中4元单纯可离关系之分类  

On the Categorizing of 4-nry Simply Separable Relations in Partial Four-valued Logic

作　　者：许芬[1] 刘任任[1] 

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

出　　处：《计算技术与自动化》2006年第2期55-56,66,共3页Computing Technology and Automation

基　　金：国家自然科学基金资助项目(60083001)

摘　　要：根据部分多值逻辑的完备性理论,定出部分四值逻辑中4元单纯可离关系,再按照准完备集之间的相似关系概念,对所定出的关系进行分类。According to the completeness theory of partial multi - valued logic, 4 - nry simply 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[自动化与计算机技术—计算机系统结构]