完备剩余格上的蕴涵闭包系统

摘要：

在完备剩余格上引入了蕴涵闭包系统的概念,讨论了蕴涵闭包系统与闭包系统之间的关系.给出了蕴涵闭包系统的一些性质及其表示定理.进一步研究了蕴涵闭包算子和蕴涵闭包系统的关系.

关键词：完备剩余格、闭包系统、蕴涵闭包算子、蕴涵闭包系统

所属期刊栏目：46

分类号：O141(数理逻辑、数学基础)

资助基金：河南省基础与前沿研究计划项目082300410270;河南省教育厅自然科学基金资助项目2009A520019

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

页数：共2页

页码：43-44