泛逻辑学中UB代数系统的(∈,∈Vq)-fuzzy滤子

摘要：

何华灿教授给出了理想状态下的泛逻辑学的形式演绎系统β,并证明了该系统的可靠性.并且提出了理想状态下的泛逻辑学对应的代数系统-UB代数,并讨论了它们的性质.在以上这些结果的基础上,引入UB代数的(∈,∈Vq)-fuzzy滤子和(∈,∈Vq)-fuzzy关联滤子的概念,获得了它们的若干等价刻画,证明了(∈,∈ Vq)-fuzzy关联滤子的扩张定理.

关键词：泛逻辑学、UB代数系统、(∈、∈Vq)-fuzzy滤子、∈Vq)-fuzzy关联滤子

所属期刊栏目：45

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

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 10371106

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

页数：共4页

页码：29-31,43