节点文献
部分四值逻辑中4元单纯可离关系之分类
On the Categorizing of 4-nry Simply Separable Relations in Partial Four-valued Logic
【摘要】 根据部分多值逻辑的完备性理论,定出部分四值逻辑中4元单纯可离关系,再按照准完备集之间的相似关系概念,对所定出的关系进行分类。
【Abstract】 According to the completeness theory of partial multi-valued logic,4nry 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.
【关键词】 多值逻辑;
单纯可离;
相似关系;
【Key words】 multi-valued logic; simply separable function; similar relation;
【Key words】 multi-valued logic; simply separable function; similar relation;
【基金】 国家自然科学基金资助项目(60083001)
- 【文献出处】 计算技术与自动化 ,Computing Technology and Automation , 编辑部邮箱 ,2006年02期
- 【分类号】TP301
- 【被引频次】3
- 【下载频次】27