完备格中四种蕴涵运算与伴随关系  

The Four Kinds of Implicative Operations and AdjointRelations on Complete Lattices

作　　者：李国华[1,2] 汤建钢[2] 张红[1,2] 

机构地区：[1]四川大学数学学院,四川成都610064 [2]伊犁师范学院数学系,新疆伊宁835000

出　　处：《模糊系统与数学》2010年第6期55-60,共6页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(10871137);新疆自然科学基金资助项目(200721103);自治区高校科研计划重点项目(XJEDU2006157);伊犁师范学院2008年度大学生科研计划课题(2008XS06)

摘　　要：在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分别对应于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.

关 键 词：蕴涵 反蕴涵 伪蕴涵 伪反蕴涵 HEYTING代数 反Heyting代数 

分 类 号：O153[理学—数学]