蕴涵格的滤子及同余关系

在蕴涵格中引和了蕴涵滤子的概念，讨论了蕴涵滤子的一些基本性质，并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵格，以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。     

二值命题逻辑中的三种Г近似推理模式及其等价性

在二值命题逻辑中引入了公式的Г蕴涵真度，证明了全体有限理论的蕴涵真度值在[0，1]中稠密。在Г蕴涵真度的基础上，定义了公式间的Г蕴涵相似度及伪距离。最后讨论了基于Г蕴涵真度的三种近似推理模式，得出了这三种近似推理模式之间是等价的结论。     

含参量蕴涵算子的构造及其性质

从空间几何的角度给出了几类含参量蕴涵算子，它们可以将常见的三种蕴涵算子Lukasiewicz算子、如算子及Godel算子包含其中，此外，还讨论了蕴涵算子的正则性质。     

泛蕴涵代数与FI-代数

建立了一个新的蕴涵算子Rzh，证明了利用Rzh-蕴涵区间上的模糊赋值，可将任一泛蕴涵代数“等值”地转化为一个HI-代数．     

格蕴涵代数上的同余关系

本文研究格蕴涵代数上的同余关系，给出了同余关系诱导的商格蕴涵代数，格蕴涵同态诱导的同命关系，滤子与同余关系之间的联系．     

格蕴涵N序半群中的sl理想

研究由格蕴涵代数所诱导的格蕴涵N序半群的sl理想的代数特性，给出了格蕴涵代数L中的LI-理想与相应的格蕴涵N序半群中的sl理想以及理想之间的关系定理，并对由集合A所生成的sl理想进行了刻画。最后，讨论了L中的准素sl理想和素sl理想之间的关系。     

基于输入-输出数据的重心法模糊系统及其泛逼近性

研究基于输入-输出数据的重心法模糊系统及其泛逼近性.首先,将一组单输入-单榆出数据转换成模糊推理规则,通过选择适当的模糊蕴涵算子生成模糊关系,再利用这种模糊关系求出二雄随机变量的联合概率密度函数.当将模糊蕴涵分别取为Larsen蕴涵和Mamdani蕴涵时,分别得到了两种具体的概率密度函数(称之为Larsen分布和Mamdani分布).其次,利用这两种概率分布.分别求出了对应的两种回归函数,指出这种回归函数实际上是模糊控制中的重心法模糊系统.我们分别给出了这种模糊系统具有泛逼近性的充分条件.从而进一步揭示了模糊系统的概率论意义.     

关于左连续蕴涵算子的连续逼近问题

从阿基米德型t-范定义的剩余型蕴涵算子是连续的蕴涵算子出发，研究关于左连续的蕴涵算子Ro和Godel蕴涵算子心'的连续逼近问题，从而进一步为模糊推理寻求理论基础。     

分配的Fuzzy蕴涵代数

给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质，接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的，从而得到Boole代数的两个等价形式，并且证明了分配的Fuzzy蕴涵代数是BL代数，最后得到了FI代数成为Boole代数的几个充要条件。     

HEYTING代数与FUZZY蕴函代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引起的，Fuzzy蕴涵代数是[0,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出Heyting代数的若干基本性质，并证明了Heyting代数是Fuzzy蕴涵代数，也是Heyting型Fuzzy蕴涵代数。     

关于格蕴涵代数的结构的一些讨论

讨论格蕴涵代数的一些格论性质，证明不存在含中界元的非链的有限格蕴涵代数，为进一步讨论由语言真值构成的格蕴涵代数的结构提供条件。     

相关免疫置换及其构造

引入了相关免疫置换的概念，给出了构造相关免疫置换的一个方法，且由该方法构造的相关免疫置换的坐标函数的非零线性组合都不是仿射函数，最后解决了该方法构造的相关免疫置换的计数问题。     

有限布尔代数上的置换矩阵

本文研究了任意有限布尔代数上的置换矩阵的特征，根据此特征可构造各种类型的置换矩阵，并给出了n阶置换矩阵个数的计数公式，然后证明了n阶矩阵A可逆的充分必要条件是A为n阶置换矩阵.     

真蕴涵格与优蕴涵格

研究蕴涵格的性质及其结构。借助数学软件给出8阶及以下蕴涵格的完全分类,说明了真蕴涵格与优蕴涵格的存在性,并纠正了多个文献中关于蕴涵格的一些错误结论。同时,引入局部有限蕴涵格和次结合蕴涵格的概念,证明了局部有限蕴涵格是优蕴涵格。     

格蕴涵代数的蕴涵表示定理

在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。     

广义剩余蕴涵

本文基于一般的聚合算子,提出一类新的模糊蕴涵,称之为广义剩余蕴涵.广义剩余蕴涵是模糊逻辑中十分重要的剩余蕴涵的自然推广.我们进一步讨论这类蕴涵的基本性质,并且探究广义剩余蕴涵与由模糊合取生成的蕴涵之间的关系,并证明这两类蕴涵为不同的蕴涵.这些结果在模糊逻辑与模糊决策之间建立了新的联系.     

广义剩余蕴涵北大核心

本文基于一般的聚合算子,提出一类新的模糊蕴涵,称之为广义剩余蕴涵.广义剩余蕴涵是模糊逻辑中十分重要的剩余蕴涵的自然推广.我们进一步讨论这类蕴涵的基本性质,并且探究广义剩余蕴涵与由模糊合取生成的蕴涵之间的关系,并证明这两类蕴涵为不同的蕴涵.这些结果在模糊逻辑与模糊决策之间建立了新的联系.     

格蕴涵代数中滤子的逻辑性质(英文)

讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质 ,在格蕴涵代数L上引入了集合的蕴涵传递性概念 ,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理 ,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则和替换定理     

R蕴涵与I_(T,N)蕴涵关系的研究

着重研究了R蕴涵与T_(T,N)蕴涵之间等价的条件,给出了二者等价的若干定理,有助于更好地理解I_(T,N)蕴涵与R蕴涵之间的关系,丰富了模糊蕴涵理论的内容.     

与正规性相关的各种子群之间的关系

本讨论了正规子群，拟正规子群，s-拟正规子群，半正规子群，c-正规子群，次正规子群，共轭置换子群，半置换子群，s-半置换子群这九种子群之间的关系。