王丽丽
- 作品数:2 被引量:2H指数:1
- 供职机构:宁波大学理学院数学系更多>>
- 发文基金:国家自然科学基金浙江省自然科学基金更多>>
- 相关领域:理学更多>>
- 剩余格及有界psBCK-代数成为布尔代数的充要条件被引量:1
- 2010年
- 研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件。同时,进一步将这些结果推广到只含有蕴涵运算的有界psBCK-代数中,证明了在一定条件下由psBCK-代数可诱导出有界格且构成布尔代数。
- 王丽丽张小红
- 关键词:剩余格布尔代数
- 蕴涵格的MP-滤子被引量:1
- 2011年
- 通过对模糊逻辑代数中传统MP-滤子的定义进行改造,在蕴涵格中引入MP*-滤子的概念,并由此构作了完整的同余关系和商代数结构;同时,引入优蕴涵格的概念,证明了优蕴涵格的素滤子定理,从而完蔓地建立了蕴涵格的一般滤子理论。研究结果表明,当蕴涵格特化为IMTL-代数、R0-代她、MV-代数时,MP*-滤子正好特化为传统的MP-滤子,且IMTL-代数、R0-代数、MV-代数必是优蕴涵格,因此本文的结果大幅度扩展了相应逻辑代数滤子理论的系列已有结果。
- 张小红王丽丽刘汇洋
- 关键词:蕴涵格模糊逻辑