近环上的模糊软理想和反模糊软理想

Molodtsov引入的软集理论,可作为通用的数学工具去处理不确定性问题。给出了近环上的模糊软理想和反模糊软理想的概念,对它们的性质进行了研究,进一步,定义了近环上的模糊软理想和反模糊软理想间的模糊软同态和模糊软同构,给出了近环上的模糊软理想和反模糊软理想的同构像定理和同态逆像定理。     

模糊软子域和余模糊软子域

Molodtsov引入的软集理论,可作为通用的数学工具去处理不确定性问题。给出了模糊软子域和余模糊软子域的概念,对它们的性质进行了研究,此外,定义了模糊软子域和余模糊软子域间的模糊软同态和模糊软同构,给出了模糊软子域和余模糊软子域的同构像定理和同态逆像定理。     

BCI代数上的反模糊软理想和模糊软理想

Molodtsov引入的软集理论,可作为通用的数学工具去处理不确定性问题。给出了BCI代数上的反模糊软理想的概念,对它们的并、交和AND的性质进行了研究,定义了BCI代数上的模糊软理想间的模糊软同态和模糊软同构,给出了BCI代数上的模糊软理想的同构像定理和同态逆像定理。     

反模糊软子群诱导的商群

介绍正规反模糊软子群的概念,给出正规反模糊软子群的同构像定理和同态逆像定理,对反模糊软子群诱导的商群的一些基本性质进行了研究。     

剩余格的T-模糊滤子与T-模糊同余关系

将t-模应用于模糊滤子和模糊同余上,引入剩余格的T-模糊滤子与T-模糊同余,并分别研究T-模糊滤子与T-模糊同余的性质与一些等价刻画;得到全体T-模糊滤子的集合与T-模糊同余的集合是同构;研究了由T-模糊滤子所诱导的商剩余格以及同态定理。这些理论在其他的逻辑代数系统仍然成立。     

剩余格上的模糊滤子和模糊同余关系

介绍了剩余格上的模糊同余关系和模糊滤子的定义,给出了剩余格上模糊滤子和模糊同余关系间的一一对应,证明了在剩余格上模糊滤子和模糊同余关系上定义适当的序关系可使它们是完备格同构。     

Ω-模糊软环

将软集理论的概念应用到Ω-模糊环中,提出了Ω-模糊软环的概念,给出了Ω-模糊软环的交与并的定义;探讨了交与并的一些相关性质;讨论了Ω-模糊软环的同态的一些性质,并提出了Ω-模糊软子环和模糊软同构的概念,研究了与其相关的性质。     

群上的模糊软同余

为了进一步研究模糊软集理论,通过将软集与模糊同余结合,给出了模糊软同余的定义,并在一定程度上推广了模糊软集。研究了群上的模糊软同余的相关性质。建立了群上的模糊软同余与正规模糊软群之间的联系,给出了软模糊同态定理。     

λ交软MTL滤子

引入了λ交软MTL-滤子、强交软MTL-滤子、交软MTL-滤子的概念,其中交软MTL-滤子是λ交软MTL-滤子的特例。讨论了λ交软MTL-滤子的刻画、性质和运算。给出了λ交软MTL-滤子在同态下像和逆像的性质。     

剩余格的犹豫模糊滤子理论

将犹豫模糊集概念应用于剩余格的滤子理论中,提出了剩余格的犹豫模糊滤子、犹豫模糊蕴涵滤子、犹豫模糊正定蕴涵滤子、犹豫模糊MV-滤子及犹豫模糊正规滤子的概念,研究了它们的性质,讨论了它们之间的关系,获得了它们的若干等价刻画。给出了犹豫模糊集成为犹豫模糊滤子,及犹豫模糊滤子成为犹豫模糊(正定蕴涵、MV、正规)蕴涵滤子的条件。探究了各种犹豫模糊滤子与其对应的水平滤子之间的关系,建立了剩余格的犹豫模糊Boolean滤子和犹豫模糊正规滤子的扩张定理。     

基于区间值模糊集的理想化软BCK代数

将Zadeh提出的区间值模糊集概念应用于理想化软BCK代数问题的研究。借助于BCK代数的区间值模糊理想、区间值[(∈,∈∨q)]-模糊理想和区间值[(∈,∈∨q)]-模糊理想的概念,获得了一个给定的BCK代数上的几类特殊的理想化软BCK代数的若干等价刻画。     

否定非对合剩余格的IV-模糊理想

模糊代数是模糊逻辑的一个重要研究内容。为进一步了解否定非对合剩余格的理想之特性,在否定非对合剩余格中引入了区间值模糊理想概念。讨论了否定非对合剩余格的区间值模糊理想的相关性质。证明了一个否定非对合剩余格的区间值模糊理想的交、直积、同构像和同态原像仍是区间值模糊理想。     

可换双剩余格上的广义模糊粗糙集及其公理化

双剩余格是t-模、t-余模、模糊剩余蕴涵及其对偶算子的代数抽象,基于格的L-模糊关系是普通模糊关系的推广。作为Pawlak经典粗糙集及多种模糊粗糙集模型的共同推广,提出了一种基于可换双剩余格及L-模糊关系的广义模糊粗糙集模型,引入了正则可换双剩余格的概念,并给出了基于正则可换双剩余格的广义模糊粗糙上、下近似算子的公理系统,推广了多个文献中已有的结果。     

双极值模糊（反）软子群

在双极值模糊软集理论的基础上,给出了双极值模糊（反）软子群的概念,讨论了它们的一些相关性质及等价刻画。提出了双极值模糊软映射下双极值模糊软集的像与原像的概念,并研究了双极值模糊软同态下双极值模糊（反）软子群的同态像与原像的初等性质。     

The pseudo-linear semantics of interval-valued fuzzy logics

Triangle algebras are equationally defined structures that are equivalent with certain residuated lattices on a set of intervals, which are called interval-valued residuated lattices (IVRLs). Triangle algebras have been used to construct triangle logic (TL), a formal fuzzy logic that is sound and complete w.r.t. the class of IVRLs.In this paper, we prove that the so-called pseudo-prelinear triangle algebras are subdirect products of pseudo-linear triangle algebras. This can be compared with MTL-algebras (prelinear residuated lattices) being subdirect products of linear residuated lattices.As a consequence, we are able to prove the pseudo-chain completeness of pseudo-linear triangle logic (PTL), an axiomatic extension of TL introduced in this paper. This kind of completeness is the analogue of the chain completeness of monoidal T-norm based logic (MTL).This result also provides a better insight in the structure of triangle algebras; it enables us, amongst others, to prove properties of pseudo-prelinear triangle algebras more easily. It is known that there is a one-to-one correspondence between triangle algebras and couples (L,α), in which L is a residuated lattice and α an element in that residuated lattice. We give a schematic overview of some properties of pseudo-prelinear triangle algebras (and a number of others that can be imposed on a triangle algebra), and the according necessary and sufficient conditions on L and α.     

On filter theory of residuated lattices

The aim of this paper is to develop the filter theory of general residuated lattices. First, we extend some particular types of filters and fuzzy filters in BL-algebras and MTL-algebras naturally to general residuated lattices, and further enumerate some relative results obtained in BL-algebras or MTL-algebras, which still hold in general residuated lattices. Next, we introduce the concepts of regular filters and fuzzy regular filters to general residuated lattices, which are two new types of filters and fuzzy filters, and derive some of their characterizations. Finally, we discuss the relations between (fuzzy) regular filters and several other special (fuzzy) filters, and also characterize some special classes of residuated lattices by filters or fuzzy filters.     

双极值模糊软子群和双极值模糊正规软子群

研究了双极值模糊软子群的等价刻画。在双极值模糊软子群的基础上定义了双极值模糊正规软子群,得到了它的一些性质及等价刻画,进一步还研究了在双极值模糊软同态下,双极值模糊正规软子群的像与原像一些性质。