基于完备剩余格值逻辑的伪BCI-代数的不分明化理想

摘要：

通过完备剩余格值逻辑中一元模糊谓词演算,将伪BCI-代数中的经典模糊理想、模糊p-理想、模糊结合理想、模糊q-理想和模糊a-理想进行重新刻画,引入了BCI-代数的l-值模糊理想、l-值模糊声-理想、l-值模糊结合理想、l-值模糊q-理想和l-值模糊a-理想的概念.利用完备剩余格值逻辑的语义方法,研究这几种l-值模糊理想的性质及关系.提供了l-值模糊理想成为l-值模糊p-理想(l-值模糊q-理想)的条件,研究了这些l-值模糊理想在交、同态映射和笛卡尔积运算下的不变性,推广了经典模糊情形下相应的现有结论.

关键词：伪BCI-代数、完备剩余格值逻辑、l-值模糊理想、l-值模糊 p-理想、l-值模糊结合理想、l-值模糊q-理想、l-值模糊 a-理想

所属期刊栏目：33

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

资助基金：国家自然科学基金;高等学校本科教学质量与教学改革工程项目

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

页数：共20页

页码：10-29