FI-代数的多种Fuzzy滤子

对FI-代数的各种滤子概念进行fuzzy化,引入fuzzy滤子、fuzzy P-滤子、fuzzy Q-滤子和fuzzy C-滤子等概念并给出它们的若干等价刻画。证明了:(1)每个fuzzy Q-滤子都是fuzzy P-滤子;(2)一个fuzzy集成为fuzzy Q-滤子当且仅当它既是fuzzy P-滤子又是fuzzy C-滤子。还给出了多种滤子的扩张定理以及具体的实例和反例。     

FI代数的犹豫模糊滤子与犹豫模糊同余关系

将犹豫模糊集概念与FI代数的滤子和同余关系概念相结合,引入了FI代数的犹豫模糊滤子和犹豫模糊同余关系概念并研究它们的性质和相互关系.获得了FI代数在给定犹豫模糊同余关系下的商代数特征并建立了同态基本定理.证明了当分别在CFI代数的全体犹豫模糊滤子集和全体犹豫模糊同余关系集上定义适当的序关系后,二者保序同构.     

BL-代数上的几类反犹豫模糊滤子

研究了BL-代数的几类反犹豫模糊滤子.将犹豫模糊集应用于BL-代数中,分别给出了反犹豫模糊滤子、反犹豫模糊素滤子、反犹豫模糊蕴涵(正蕴涵)滤子的概念,讨论BL-代数上这几类反犹豫模糊滤子的基本性质以及它们之间的等价刻画.     

FI代数的模糊滤子

在FI代数(Fuzzy蕴涵代数)上引入了模糊滤子的概念并给出了其等价刻画;探讨了由模糊滤子所诱导的同余关系及商代数,证明了由模糊滤子所诱导的同余关系是完备分配格.     

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

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

BL代数的(∈,∈∨q)-模糊滤子理论

对BL代数的(∈,∈∨q)-模糊滤子理论作系统研究。首先,在BL代数中引入(∈,∈∨q)-模糊对合滤子和(∈,∈∨q)-模糊结合滤子两类新概念,获得了这两类(∈,∈∨q)-模糊滤子的几个等价刻画。其次,详细讨论了BL代数中各类(∈,∈∨q)-模糊滤子间的关系,证明了一个模糊集为(∈,∈∨q)-模糊布尔(关联)滤子当且仅当它既是(∈,∈∨q)-模糊正关联滤子又是(∈,∈∨q)-模糊对合滤子。最后,以直观图示的方式对BL代数中各类(∈,∈∨q)-模糊滤子间关系进行了总结。     

关于BL-代数的模糊滤子与模糊理想

在BL-代数中引入模糊超滤子和模糊固执滤子的概念,证明了如下条件对于BL-代数的非常数模糊滤子f来说是等价的:(1)f是布尔的和素的,(2)f是蕴涵的和素的,(3)f是超的,(4)f是固执的。应用模糊正蕴涵滤子给出G-代数的若干特征性质。提出BL-代数模糊理想的概念,给出一些重要例子,并通过例子说明在BL-代数中模糊理想一般不能由模糊滤子导出。同时,从模糊理想出发构造了商BL-代数,并建立了相应的同态基本定理。最后,研究了BL-代数的几类模糊理想及其相互关系,给出模糊布尔理想、模糊素理想、模糊超理想的特征性质。     

Fuzzy蕴涵代数的犹豫模糊滤子

本文运用犹豫模糊集的方法和原理研究Fuzzy蕴涵代数的滤子问题。引入了Fuzzy蕴涵代数的犹豫模糊滤子概念,给出了犹豫模糊滤子的若干性质,获得了犹豫模糊滤子的若干等价刻画,讨论了犹豫模糊滤子与滤子间的关系。     

FI代数的区间值模糊软滤子

运用区间值模糊软集研究FI代数的滤子问题,引入了FI代数的区间值模糊软滤子概念,给出了它的若干代数性质。定义了区间值模糊软FI-同态(同构)概念,证明了FI代数的一个区间值模糊软滤子在区间值模糊软FI-同构(同态)下的像(原像)仍为区间值模糊软滤子的结论。     

FI代数的滤子

研究FI代数的滤子理论，建立F滤子、P滤子、Q滤子、C滤子之间的联系．     

格蕴涵代数的反犹豫模糊滤子

本文研究了格蕴涵代数的反犹豫模糊滤子。将反犹豫模糊集应用于格蕴涵代数,提出反犹豫模糊滤子概念,得到了若干等价刻画;给出犹豫模糊集的反扩张定理,并讨论了反犹豫模糊滤子的像与原像的关系;最后定义了犹豫模糊集的反直积,研究了反犹豫模糊滤子与直积格蕴涵代数的反犹豫模糊滤子之间的关系,证明了乘积格蕴涵代数的犹豫模糊子集是反犹豫模糊滤子的必要条件。     

BL代数的fantastic滤子和normal滤子

滤子是研究逻辑代数的有效工具.本文研究了BL代数的fantastic和normal滤子的等价条件,得到了在MV-代数中两种滤子之间的等价性,给出了两个公开问题:"在什么样的合适条件下,一个normal滤子成为一个fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件.     

基于FI-代数的一阶模糊谓词演算逻辑系统

在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统.主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性.这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题.     

Heyting代数的扩张滤子

运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步研究.在Heyting代数H中引入了滤子F关于H的子集A的扩张滤子概念并考察其性质.证明了一个滤子F关于H的所有子集的扩张滤子全体之集构成一个完备Heyting代数且构成一个Stone格.     

Heyting代数的不变滤子

综合运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步深入研究.引入了Heyting代数的关于其子集的不变滤子概念.给出了不变滤子的若干性质.证明了Heyting代数的关于一个给定子集的不变滤子全体之集构成一个完备Heyting代数.     

R0-代数的几类犹豫模糊滤子

把犹豫模糊集理论应用在R0-代数上,给出R0-代数的犹豫模糊MP滤子、犹豫模糊素MP滤子、犹豫模糊蕴涵滤子的概念,讨论R0-代数上这几类犹豫模糊滤子的性质以及它们之间的等价刻画.     

关于BL代数的(∈,∈∨q)-模糊滤子

基于模糊集合包含序■,对BL代数的(∈,∈∨q)-模糊滤子理论作进一步深入研究。给出了由BL代数上一个模糊集生成的(∈,∈∨q)-模糊滤子的定义及其生成方法。证明了一个给定BL代数L的(∈,∈∨q)-模糊滤子全体之集IFil(L)关于■构成一个完备分配格。     

IMTL代数上的素布尔模糊滤子及其运算

在IMTL代数M的全体素布尔模糊滤子集ゐゐ(M)∪{φ}上定义格运算和逆序对合对应,证明ゐゐ(M)∪{φ}在这些运算下是一个完备的有逆序对合对应的有界分配格(即是一个完备的拟布尔代数).然后再在ゐゐ(M)∪{φ}上定义一个伴绥对,证明ゐゐ(M)∪{φ}也构成一个剩余格.     

关联BCK代数的P滤子、I滤子及BFI滤子

引入关联BCK代数的P滤子、I滤子及BFI滤子的概念,并得到了一些重要的结论.