(∈,∈∨q)-直觉模糊向量子空间

为了建立直觉模糊向量子空间的统一理论,采用直觉模糊集截集理论和模糊点xa与直觉模糊集A的邻属关系,并利用三值Lukasiewicz蕴涵,给出了(α,β)-直觉模糊向量子空间的定义,由此可以得到16种直觉模糊向量子空间。研究结果表明:(∈,∈)-直觉模糊向量子空间和(∈,∈∨q)-直觉模糊向量子空间是其中两种非常有意义的直觉模糊向量子空间,给出了(∈,∈)-直觉模糊向量子空间和(∈,∈∨q)-直觉模糊向量子空间之间的关系,并得出了(∈,∈∨q)-直觉模糊向量子空间的相关性质。该成果突破了对原有直觉模糊向量子空间的认识,从而为直觉模糊分析理论研究打下基础。

基于L＊-格值逻辑上的BCH-代数中的直觉不分明化理想

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想、闭理想及q理想的有关性质。

基于L*-格值逻辑上的直觉不分明化凸集

本文在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,定义了L*-格值逻辑上的直觉不分明化凸集的概念,将用集论所刻画的凸集在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化凸集的有关代数性质。

基于L*-格值逻辑上的直觉不分明化群

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,定义了L*-格值逻辑上的直觉不分明化群的概念,将用集论所刻画的群的概念及相关性质在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化群的有关性质。

BL-代数的直觉模糊滤子度

提出BL-代数的直觉模糊滤子度的概念,给出其的等价刻画,并用直觉模糊滤子度来讨论BL-代数上的直觉模糊子集是直觉模糊滤子的程度.对于BL-代数的一个直觉模糊集,建立其(强)截集构成的滤子与其直觉模糊滤子度之间的关系.讨论了直觉模糊子集的交、直积的直觉模糊滤子度以及BL-代数的直觉模糊子集的同态像与逆像的直觉模糊滤子度.

基于L^＊-格值逻辑上的直觉不分明化环

首先在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具,给出了L*-格值逻辑上的直觉不分明化环和子环的概念。进一步,在L*-格值谓词演算下,给出了环的同态映射f关于直觉模糊集A的直觉不分明化同态核和直觉不分明化商集的定义,并在此基础上讨论了直觉不分明化环、子环和同态核的有关性质,最后得到L*-格值逻辑意义下的同态基本定理。

基于L^(*)-格值逻辑上的直觉I-fuzzy凸集

基于L^(*)-格值逻辑语义,给出了该语义框架下的直觉I-fuzzy凸集的定义,推广了L;-格值逻辑上的直觉不分明化凸集的结果,研究了直觉I-fuzzy凸集的代数性质。

直觉区间值模糊推理的三I算法

本文讨论了直觉区间值模糊三I算法的两种最简单形式:MP(Modus Ponens)和MT(Modus Tollens)问题,分别给出直觉区间值模糊环境下的MP问题和MT问题的三I解的一般形式。讨论全蕴涵解的存在条件,基于满足剩余原理的直觉区间值模糊剩余蕴涵,为直觉区间值模糊推理建立全蕴涵算法,即为MP和MT问题建立α-三I算法。

格蕴涵代数的Ω-直觉模糊LI-理想

给定一个集合Ω,将Ω-直觉模糊集与格蕴涵代数相结合,给出了Ω-直觉模糊LI-理想的概念,并研究了其相关性质;讨论了Ω-直觉模糊LI-理想与Ω-模糊LI-理想之间的关系,得到了一些等价刻画。

剩余型直觉模糊推理的反向三Ⅰ方法

提出直觉模糊取式(IFMP)和直觉模糊拒取式(IFMT)问题的直觉模糊推理的反向三Ⅰ原则、反向α-三Ⅰ原则和反向三Ⅰ约束原则.针对剩余型直觉模糊蕴涵算子,给出IFMP、IFMT问题的直觉模糊推理的反向三Ⅰ算法、反向α-三Ⅰ算法及反向三Ⅰ约束算法求解的计算公式和分解形式,指出这些算法都是相应模糊集情形下的推广,讨论IFMP、IFMT问题的直觉模糊推理的反向三Ⅰ算法的还原性.

格蕴涵代数的Ω-直觉模糊子代数

在直觉模糊集概念的基础上,给定一个集合Ω,提出了Ω—直觉模糊集的概念。将Ω—直觉模糊集与格蕴涵代数相结合,给出了Ω-直觉模糊子代数的概念,并研究了其相关性质;讨论了Ω一直觉模糊子代数与Ω—模糊子代数之间的关系,得到了一些等价刻画。

环的(∈,∈∨q)-直觉模糊理想

基于直觉模糊集截集理论和模糊点xt与直觉模糊集A的邻属关系,利用3-值Lukasiewicz蕴涵算子,给出了环的(∈,∈∨q)-直觉模糊理想的定义,并且得到了它的一些等价条件和性质。

基于L^＊-格值逻辑上的BCK-代数中直觉不分明化理想

在L^＊-格值逻辑的语义框架下，以L^＊-格值上的Lukasiewicz蕴涵算子为工具定义了L^＊-格值逻辑上的直觉不分明化BCK-代数的概念，将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^＊-格值谓词演算下给予了新的刻画，讨论了它们的性质及其关系，研究了这些理想与其同态象、同态原象之间关系，获得了同类理想之积仍为该类理想．