格蕴涵代数的关联理想与模糊关联理想(英文)

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

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

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

闭模糊n级正关联理想

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

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.     

半群的模糊内理想

Abstract The concept of quasi-coincidence of a fuzzy interval value in an interval valued fuzzy set is a generalization of the quasi-coincidence of a fuzzy point in a fuzzy set. With this new concept, the interval valued （∈, ∈ Vq）-fuzzy interior ideal in semigroups is introduced. In fact, this kind of new fuzzy interior ideals is a generalization of fuzzy interior ideals in semigroups. In this paper, this kind of fuzzy interior ideals and related properties will be investigated. Moreover, the concept of a fuzzy subgroup with threshold is extended to the concept of an interval valued fuzzy interior ideal with threshold in semigroups.     

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

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

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

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

Distributive implication groupoids

We introduce a concept of implication groupoid which is an essential generalization of the implication reduct of intuitionistic logic, i.e. a Hilbert algebra. We prove several connections among ideals, deductive systems and congruence kernels which even coincide whenever our implication groupoid is distributive.      

正定关联BCI—代数

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

The Pointwise Characterizations of Fuzzy Ideals and Fuzzy Prime Ideals

TheconceptofthefuzzysubgroupsintroducedinRosenfeld[l],wasappliedtogeneralizesomeofthebasicconceptsofalgebra.In[2,3,4]LuWangjindefinedfuzzysubringsandfuzzyideals,introducedtheoperationsonfuzzyidea1s.In[5]theautherdiscussedaboutthenatureoffuzzysubringsbythenestedsubring.Butthepointwisedefinitionsoffuzzysubgroupsandfuzzysubringsarerare.Inthispaper,theautherprogramsanddiscussesthefuzzysubrings,fuzzyidealsandfuzzyprimeidealsbyfuzzyPoints..5l.PreliminariesLetusrecallsomeconceptsoccurrjnginthe[2,3…     

Fuzzy Ideals and Fuzzy Distributive Lattices

Our main objective is to study properties of a fuzzy ideals(fuzzy dual ideals).A study of special types of fuzzy ideals(fuzzy dual ideals) is also furnished.Some properties of a fuzzy ideals(fuzzy dual ideals) are furnished.Properties of a fuzzy lattice homomorphism are discussed.Fuzzy ideal lattice of a fuzzy lattice is defined and discussed.Some results in fuzzy distributive lattice are proved.     

New Kinds of Fuzzy Ideals in BCI-algebras*

Following the seminal work of Xi on the definition of fuzzy ideal in BCI-algebras, three new kinds of definitions of fuzzy ideal of BCI-algebras are proposed. First, by the use of the relations between fuzzy points and fuzzy sets, the definition of a (s,t]-fuzzy ideals of BCI-algebras is introduced. The acceptable nontrivial concepts obtained in this manner are the - fuzzy ideals and -fuzzy ideals. Second, based on the concept of falling shadow, a theoretical approach of fuzzy ideal is established and the fuzzy ideal based on t-norm is proposed. Finally, by the use of the implication operators of fuzzy logic, an R-fuzzy ideals is proposed and relations between the (s,t]-fuzzy ideals and R-fuzzy ideals are discussed. *Foundation Item:Supported by NNSF of China(60274016). Biography:Zhang Guang-ji(1947-),male,Professor     

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

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

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

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

格蕴涵代数与BCK代数的关系

本文给出了有界可换的ＢＣＫ代数的分配性的一些等价条件，指出了格蕴涵代数与有界可换分配的ＢＣＫ代数以及格Ｈ蕴涵代数与有界关联的ＢＣＫ代数之间的对偶关系     

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)     

格的模糊软理想

将模糊软集与格的模糊理想概念相结合,引入了格的模糊软理想的概念,给出了它们的若干代数性质.定义了格的模糊软同态(同构)概念,证明了格的一个模糊软理想在模糊软同构(同态)下的像(原像)仍为模糊软理想的结论.     

On the free implicative semilattice extension of a Hilbert algebra

Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well as a simplified characterization of it. The optimal deductive filters turn out to be the traces in the Hilbert algebra of the prime filters of the distributive lattice free extension of the free implicative semilattice extension of the Hilbert algebra. To define the concept of optimal deductive filter we need to introduce the concept of a strong Frink ideal for Hilbert algebras which generalizes the concept of a Frink ideal for posets.     

广义模糊子半环的广义模糊双(内)理想

给出了广义模糊子半环的广义模糊双(内)理想的概念.运用截集、模糊子集的和与积得到了广义模糊子半环的广义模糊双(内)理想的等价条件及性质,同时还得到了在半环的同态映射下同态像及同态原像的性质.当λ=0,μ=1时,得到一般意义下的模糊子半环的模糊双(内)理想的相应结果.     

Fuzzy semirings

In this paper we initiate the study of fuzzy semirings and fuzzy A-semimodules where A is a semiring and A-semimodules are representations of A. In particular, semirings all of whose ideals are idempotent, called fully idempotent semirings, are investigated in a fuzzy context. It is proved, among other results, that a semiring A is fully idempotent if and only if the lattice of fuzzy ideals of A is distributive under the sum and product of fuzzy ideals. It is also shown that the set of proper fuzzy prime ideals of a fully idempotent semiring A admits the structure of a topological space, called the fuzzy prime spectrum of A.