Heyting代数相关论文
Steven Vikers将拓扑的方法与逻辑理论的结果相结合于专著...
非可换逻辑代数是非可换逻辑相应的代数结构.BL代数是基本逻辑（Basic Logic）系统的代数结构,而伪BL代数是BL代数的非可换推广.非可换......
剩余格是由美国学者Ward和Dilworth于1939年提出的一种非常重要且基本的代数结构.常见的逻辑代数如MTL-代数,BL-代数,MV代数,Heyti......
相等代数自提出就引起了学者们的广泛研究,它是高阶模糊逻辑所对应的代数系统.逻辑代数的研究过程中,滤子理论扮演者重要的角色,从......
本论文的研究包括两个方面(都与格上拓扑学有关).一方面，研究了L-值随机变量(其中L是闭集格或分子生成格).受到已有文献中研究L-拓......
在数学方面，Heyting代数是一个Boole代数一般化的偏序集，完备Heyting代数(即Frame)是研究无点化拓扑的中心主体.本文主要从以下几......
非经典逻辑是模糊推理及模糊控制等理论基础的一部分。近年来，模糊控制技术在应用方面取得了举世瞩目的成功．然而，作为其核心的模糊推......
在有零元的Heyting代数上定义了一种运算(○×),并讨论了这种运算和Heyting代数上nucleus的一系列性质.......
在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分......
