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

摘要：

在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分剐对应于Heyting代数与反Heyting代数,并且我们还讨论了关于四种二元运算的部分性质及其关系.

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

所属期刊栏目：24

分类号：O153(代数、数论、组合理论)

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

在线出版日期：2011-04-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：55-60