检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:朱怡权[1]
出 处:《宁夏大学学报(自然科学版)》2003年第4期296-299,共4页Journal of Ningxia University(Natural Science Edition)
基 金:广东省自然科学基金资助项目(021073);广东省高校自然科学研究基金资助项目(Z02017)
摘 要:研究了正则FI 代数的性质,并证明了对于正则FI 代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子 ,使得( ,→)成为伴随对.所得结果在一定程度上反映了正则剩余格内部结构的特征.The regular FI-algebras are further studied because of their wide applications in logic systems, the new properties of regular FI-algebras are obtained. Moreover, it is proved that if (L,→,0) is a regular FI-algebra then there is the unique implicaton operator such that(,→) to become an adjoint couple on L satisfying the condition (ab)→c=a→(b→c). These results may describe the characterizations of interior structures of the regular FI-algebras.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.27