格蕴涵代数的关联理想与模糊关联思想

本文提出了格蕴涵代数的关联理想和模糊关联理想的概念，讨论了它们的性质，指出了关联理想与理想、关联理想与关联滤子、关联理想与模糊关联理想、模糊关联理想与模糊关联滤子、模糊关联理想与模糊理想之间的关系。     

BCK-代数的Ω-模糊正定关联理想

给定一个集合Ω,引入了BCK-代数的Ω-模糊正定关联理想的概念,给出了一些恰当的例子,讨论了BCK-代数的Ω-模糊理想与Ω-模糊正定关联理想的关系.利用模糊正定关联理想,刻画了Ω-模糊正定关联理想.反之,模糊正定关联理想通过Ω-模糊正定关联理想来构造.证明了Ω-模糊正定关联理想(Ω-模糊理想)的同态原象仍是Ω-模糊理想(Ω-模糊理想).     

Girard Quantale中的模糊关联滤子

在Girard Quantale中引入了模糊滤子和模糊关联滤子的概念,研究了Girard Quantale中模糊滤子和模糊关联滤子的一些性质,给出了Girard Quantale中模糊关联滤子的若干等价刻画,探讨了模糊关联滤子与模糊布尔滤子之间的关系.     

BCK代数的Ω犹豫模糊正定关联理想

在集合Ω中,用犹豫模糊集、Ω模糊集来研究BCK-代数,定义了BCK-代数中的Ω犹豫模糊正定关联理想,讨论其性质及若干等价刻画;研究了两个关系,一个是Ω犹豫模糊理想与Ω犹豫模糊正定关联理想之间的关系,另一个是犹豫模糊正定关联理想与Ω犹豫模糊正定关联理想的关系;证明了Ω犹豫模糊正定关联理想(Ω犹豫模糊理想)的同态原像是Ω犹豫模糊理想(Ω犹豫模糊理想).     

N(2,2,0)代数的Ω-犹豫模糊关联理想

在N(2,2,0)代数中定义了 Ω-犹豫模糊关联理想,研究Ω-犹豫模糊关联理想的性质以及等价刻画,得到了 Ω-犹豫模糊关联理想的交与并的不变性的结论,讨论了 Ω-犹豫模糊关联理想与犹豫模糊关联理想的关系.     

闭模糊n级正关联理想

引入闭模糊n级正关联理想 ，刻划其结构和性质。     

格蕴涵代数中的直觉模糊理想

给出格蕴涵代数中直觉模糊理想的定义,并研究了其性质。然后讨论了直觉模糊理想与模糊理想和LI-理想之间的关系。证明了直觉模糊理想与直觉模糊滤子的对偶关系。最后,得到了直觉模糊理想的全体集合Ψ(L)构成L-闭包系统。     

N(2,2,0)代数的(∈,∈∨q_(λ,μ))-模糊关联理想

从以下几个方面对N(2,2,0)代数(∈,∈∨q_((λ,μ)))-模糊关联理想进行了详细的研究.首先,给出N(2,2,0)代数广义模糊关联理想概念和点态化(∈,∈∨q_((λ,μ)))-模糊关联理想概念,研究了两者之间的等价关系;其次,给出了(∈,∈∨q_((λ,μ)))-模糊关联理想若干等价刻画;再次,讨论了(∈,∈∨q_((λ,μ)))-模糊关联理想与(∈,∈∨q_((λ,μ)))-模糊理想之间的关系;最后,获得了(∈,∈∨q_((λ,μ)))-模糊关联理想交与并的相关性质.     

BCI代数的软关联理想和软正定关联理想

给出BCI代数的软关联理想和软正定关联理想的概念,讨论软理想、软关联理想和软正定关联理想三者之间的关系,研究了两个软关联理想(软正定关联理想)的扩展交、限制交、限制并和限制差分的性质。     

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

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

Implicative Ideals and Fuzzy Implicative Ideals of a Distributive Implication Groupoid

We introduce the notions of implicative ideals and fuzzy implicative ideals of a distributive implication groupoid. Some properties of these ideals will be investigated. In particular, the necessary and sufficient conditions for an ideal (fuzzy ideal) to be an implicative ideal (fuzzy implicative ideal) is given. By using the concept of level sets, we will characterize the fuzzy implicative ideals of a distributive implication groupoid. Finally, an extension property for fuzzy implicative ideals is given.     

Fuzzy Strongly Implicative Ideals in BCI－Algebras(Ⅱ)

For the homomorphic image f(μ) and preimage f-1(υ) of fuzzy strongly implicative ideals μ and υ,respectively, we establish the chains of level strongly implicative ideals of f(μ) and f-1(υ),respectively. We construct a new fuzzy strongly implicative ideal from old. Finally,we consider the normality of a fuzzy strongly implicative ideal in a BCI-algebra.     

正定关联BCI—代数

本文是作者［１］和［２］的继续，引入了正定关联ＢＣＩ－代数的概念，并证明了：正定关联ＧＢＣＫ－代数类和Ｐ－半单ＢＣＩ－代数类是正定关联ＢＣＩ－代数类的真子类。     

The Semigroup Characterizations of Positive Implicative BCK—algebras

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＢｙａＢＣＩ－ａｌｇｅｂｒａｗｅｍｅａｎａｎａｌｇｅｂｒａ（Ｘ，，０）ｏｆｔｙｐｅ（２，０）ｗｉｔｈｔｈｅｆｏｌｌｏｗｉｎｇｃｏｎｄｉ－ｔｉｏｎｓ：（１）（（ｘｙ）（ｘｚ））（ｚｙ）＝０；（２）（ｘ（ｘｙ））ｙ＝０；（３）ｘｘ＝０；（４）ｘｙ＝ｙｘ＝０ｉｍｐｌｉｅｓｘ＝ｙ．ＩｆａＢＣＩ－ａｌｇｅｂｒａ（Ｘ，，０）ｓａｔｉｓｆｉｅｓ（５）０ｘ＝０．ｔｈｅｎｉｔｉｓｃａｌｌｅｄａＢＣＫ－ａｌｇｅｂｒａ．ＩｎａＢＣＩ－ａｌｇｅｂｒａ，ｔｈｅｆ…     

Fuzzy Ordered Filters in Implicative Semigroups

Animplicativesemilatticeisanalgebraicsystemhavingasmodelslogicalsystemsequippedwithimplicationandconjunction,butnotpossessingadisjunction.ImplicativesemilatticeswerestudiedbyW.C.Nemitz[5].In[2],T.S.BlythgeneralizedsomeresultsofW.C.Nemitz[5]byintroducingthenotionofaBrouweriansemigroup.FollowingtheideasofNemitzandBlyth,M.W.ChanandK.P.Shum[3]introducedthenotionofnegativelypartiallyorderedimplicativesemigroupsandgeneralizedsomeresultofNemitzonimplicativesemilatticestoim-plicativesemigroups…     

On (∈, ∈ ∨ q)‐fuzzy filters of R0‐algebras

In this paper, we introduce the notions of (∈, ∈ ∨ q)‐fuzzy filters and (∈, ∈ ∨ q)‐fuzzy Boolean (implicative) filters in R₀‐algebras and investigate some of their related properties. Some characterization theorems of these generalized fuzzy filters are derived. In particular, we prove that a fuzzy set in R₀‐algebras is an (∈, ∈ ∨ q)‐fuzzy Boolean filter if and only if it is an (∈, ∈ ∨ q)‐fuzzy implicative filter. Finally, we consider the concepts of implication‐based fuzzy Boolean (implicative) filters of R₀‐algebras (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)