BOOLE代数相关论文
借助于MV-代数的自同态引入并研究了MV-代数上的广义(→,⊕)-导子,得到了其等价刻画.此外,给出了MV-代数的广义中心主导子的概念,......
非经典逻辑是模糊推理及模糊控制等理论基础的一部分。近年来，模糊控制技术在应用方面取得了举世瞩目的成功．然而，作为其核心的模糊推......
非经典是模糊推理和模糊控制等的理论基础。在非经典数理逻辑不断走向成熟和完善的过程中，许多学者基于不同的蕴涵算子引入了各种逻......
格论是研究一般拓扑学的主要工具之一，作为一般拓扑学的相关学科，许多概念和性质类似于一般拓扑学，并对这些概念和性质进行深入的研究......
在有零元的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代数更便捷地和其他代数联系。方法：从二值逻辑......
软代数也称为Fuzzy格，它是Boole代数(或Book格)的一种推广．这一推广具有很强的实际背景，它能使人们把分明现象与模糊现象进行统一的研......
本文定义了软代数上De·Morgan函数的运算，得到所有De·Morgan函数关于函数的运算构成软代数；研究了集合生成子代数的性质，进......
主要证明了有界关联BCK-代数与Boole代敬是相互等价的代数系统．...
研究了命题演算系统f中一类特殊理论——Boole型理论的内部结构．从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要......
对多变量二元Boole代数（简记B<sub>2</sub>）函数式的化简,有下列方法:（1）公式法;（2）卡诺（Karnaugh）法;（3）奎恩-麦格拉斯基（Quin—Mccluskeg）法;......
Ｓｔｏｎｅ表现定理揭示了格论与拓朴空间理论之间的深刻联系，该定理表明可以从纯代数的角度出发而得到若干不同类型的拓的眩空间，并可用格论的......
设B是Boole代数，Ω是B到Boole代数{0，1}的全体格同态，口是0上的概率测度，基于B中元素的尺寸的概念提出了元素之间的几个伪度量，建立了B......
基于B-赋值理论，在B为有限Boole代数的前提下，得出了三个主要结论。首先，讨论了广义Boole函数与Boole函数之间的关系。其次，得出了在有......
给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质，接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的......
为了更好地解决模糊概念的表示问题，文[1]引入了AFS代数和AFS结构，为了讨论AFS代的拓扑性质，本文在[1]的基础上，进一步了讨论了EI代数......
讨论正则FI代数的若干性质.在研究FI代数与Boole代数间关系的同时,给出正则FI代数与BCK代数的另一种联系方式.......
引入了Heyting代数上的。运算与nucleus，并且讨论了Heyting代数上的×运算以及Heyting代数上的nucleus的一系列性质．......
研究了内部算子与闭包算子的一系列性质,得到如下结果:1) 解决了有限完备链上内部算子和闭包算子的个数问题;2) 证明了偏序集上的......
