期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于L^*-格值逻辑上的BCK-代数中直觉不分明化理想 被引量:14
1
作者 彭家寅 《系统科学与数学》 CSCD 北大核心 2010年第4期556-576,共21页
在L^*-格值逻辑的语义框架下,以L^*-格值上的Lukasiewicz蕴涵算子为工具定义了L^*-格值逻辑上的直觉不分明化BCK-代数的概念,将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^*-格值谓词演算下给予了新的刻画... 在L^*-格值逻辑的语义框架下,以L^*-格值上的Lukasiewicz蕴涵算子为工具定义了L^*-格值逻辑上的直觉不分明化BCK-代数的概念,将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^*-格值谓词演算下给予了新的刻画,讨论了它们的性质及其关系,研究了这些理想与其同态象、同态原象之间关系,获得了同类理想之积仍为该类理想. 展开更多
关键词 L^*-格值 LUKASIEWICZ蕴涵算子 直觉分明bck-代数 直觉分明理想 直觉分明正定蕴涵理想 直觉分明蕴涵理想
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部