欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分别对应于Heyting代数与反Heyting代数,并且我们还讨论了关于四种二元运算的部分性质及其关系。
英文摘要：
In this paper we introduced the four kinds ofbinary operations which are implicative operation,inverseimplicative operation,pseudo implicative operation andpseudo-inverse implicative operation,and adjoint relations oncomplete lattices;Moreover,we researched the partial propertiesand relations of the four kinds of binary operations.
同期刊论文项目
同项目期刊论文
期刊信息
位置：