基于赋范格H蕴涵代数的性质

摘要：

首先,在范数的条件下将格H蕴涵代数进行了扩充(即赋范格H蕴涵代数),并讨论了它的性质.其次,在赋范格H蕴涵代数中定义了蕴涵距离d→,∨-距离d∨,∧-距离d∧,讨论了它们之间的性质,并通过两个赋范格H蕴涵代数L1和L2定义了赋范蕴涵满射、赋范格H蕴涵同态、赋范格片蕴涵同构以及赋范同构,随后研究了它的性质.最后,探讨了收敛数列的有界性,得到了数列运算(即(×),⊕,V,∧,→)对于蕴涵距离是有界的结论.

关键词：赋范格H蕴涵代数、蕴涵距离、赋范蕴涵同态、赋范同构、有界性

所属期刊栏目：30

分类号：O141.1;O153(数理逻辑、数学基础)

资助基金：国家自然科学基金60474022,60875034;高等学校博士学科点专项科研基金20060613007

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

页数：共9页

页码：1465-1473