期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
BCK-代数的不分明化理想 被引量:2
1
作者 彭家寅 《四川师范大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第5期592-597,共6页
用一元谓词和连续格值逻辑的语义方法,引入了不分明化左(或右)可约理想、不分明化理想、不分明化蕴涵理想的概念,研究了不分明化可约理想、不分明化理想、不分明化正定蕴涵理想和不分明化蕴涵理想的某些特征,讨论了它们的性质和关系,研... 用一元谓词和连续格值逻辑的语义方法,引入了不分明化左(或右)可约理想、不分明化理想、不分明化蕴涵理想的概念,研究了不分明化可约理想、不分明化理想、不分明化正定蕴涵理想和不分明化蕴涵理想的某些特征,讨论了它们的性质和关系,研究了这些不分明化理想与其同态象、同态原象关系,获得了两个同种类型的不分明化理想之积仍为该种不分明化理想. 展开更多
关键词 BCK-代数 分明左(右)理想 分明理想 分明正定蕴涵理想 分明蕴涵理想
下载PDF
基于L^*-格值逻辑上的BCK-代数中直觉不分明化理想 被引量:14
2
作者 彭家寅 《系统科学与数学》 CSCD 北大核心 2010年第4期556-576,共21页
在L^*-格值逻辑的语义框架下,以L^*-格值上的Lukasiewicz蕴涵算子为工具定义了L^*-格值逻辑上的直觉不分明化BCK-代数的概念,将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^*-格值谓词演算下给予了新的刻画... 在L^*-格值逻辑的语义框架下,以L^*-格值上的Lukasiewicz蕴涵算子为工具定义了L^*-格值逻辑上的直觉不分明化BCK-代数的概念,将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^*-格值谓词演算下给予了新的刻画,讨论了它们的性质及其关系,研究了这些理想与其同态象、同态原象之间关系,获得了同类理想之积仍为该类理想. 展开更多
关键词 L^*-格值 LUKASIEWICZ蕴涵算子 直觉分明BCK-代数 直觉分明理想 直觉分明正定蕴涵理想 直觉分明蕴涵理想
原文传递
基于连续值逻辑之BCK-代数的不分明蕴涵理想 被引量:4
3
作者 彭家寅 《模糊系统与数学》 CSCD 北大核心 2015年第5期1-10,共10页
在连续值逻辑的语义框架下,我们用连续值逻辑上的一元谓词演算方法引入了不分明BCK-蕴涵理想的概念,研究了几种不分明理想的若干性质及其之间一些关系。
关键词 连续值逻辑 分明理想 分明蕴涵理想 分明正定蕴涵理想
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部