检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:刘用麟[1]
机构地区:[1]武夷学院经济与数学系,福建武夷山354300
出 处:《武夷学院学报》2008年第2期4-9,共6页Journal of Wuyi University
基 金:福建省自然基金资助项目(S0650032);福建省教育厅科技计划资助项目(JA0606065)
摘 要:综述BCK/BCI代数在逻辑代数中的地位与意义,回顾所知国内外学者在该领域的一些主要工作,介绍了BCK/BCI代数理论中的一些概念、术语和成果,篇末罗列较丰富的参考文献,期望对年轻的学者有所帮助。The status and significance of BCK/BCI-algebras in logic algebras are summarized. The main research works of the scholars what are known in home and abroad are reviewed. Some notions ,terms and results of the theory in BCK/BCI-algebras are introduced. In the end,the richer references related to BCK/BCI - algebras are listed. It hope this paper would serve the young researchers for further study BCK/BCI-algebras.
关 键 词:BCK代数 BCI代数 逻辑代数BCK/BCI代数的子类
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.7