Boole代数相关论文
非经典逻辑是模糊推理及模糊控制等理论基础的一部分。近年来，模糊控制技术在应用方面取得了举世瞩目的成功．然而，作为其核心的模糊推......
非经典是模糊推理和模糊控制等的理论基础。在非经典数理逻辑不断走向成熟和完善的过程中，许多学者基于不同的蕴涵算子引入了各种逻......
格论是研究一般拓扑学的主要工具之一，作为一般拓扑学的相关学科，许多概念和性质类似于一般拓扑学，并对这些概念和性质进行深入的研究......
在有零元的Heyting代数上定义了一种运算(○×),并讨论了这种运算和Heyting代数上nucleus的一系列性质.......
设B是一个Boole代数,Ω是从B到Boole代数{0,1}的全体同态之集,μ是Ω上的概率测度.本文基于μ在B中引入了元素的尺寸概念以及元素......
研究了命题演算系统(ζ)*中一类特殊理论--Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充......
本文证明了分配格L上的Stone引理和Birkhoff G.得到的Stone代数次直积表示定理是等价的.因而Stone代数次直积表示定理等价于质理想......
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R......
对BR0代数,Boole代数以及BL＊系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL＊系统中分别添......
正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代......
目的：给出Boole代数的等价刻画，揭示Boole代数和二值命题逻辑的另一种内在联系，使Boole代数更便捷地和其他代数联系。方法：从二值逻辑......
设B是Boole代数，Ω是B到Boole代数{0，1}的全体格同态，口是0上的概率测度，基于B中元素的尺寸的概念提出了元素之间的几个伪度量，建立了B......
基于B-赋值理论，在B为有限Boole代数的前提下，得出了三个主要结论。首先，讨论了广义Boole函数与Boole函数之间的关系。其次，得出了在有......
给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质，接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的......
讨论正则FI代数的若干性质.在研究FI代数与Boole代数间关系的同时,给出正则FI代数与BCK代数的另一种联系方式.......
证明了对合BCK代数与正则FI-代数等价。在对合BCK代数中引入分配性,讨论了分配对合BCK代数的若干性质,证明了分配对合BCK代数与Boo......
引入了Heyting代数上的。运算与nucleus，并且讨论了Heyting代数上的×运算以及Heyting代数上的nucleus的一系列性质．......
研究了内部算子与闭包算子的一系列性质,得到如下结果:1) 解决了有限完备链上内部算子和闭包算子的个数问题;2) 证明了偏序集上的......
