格蕴涵代数的区间值$(\in, \in\vee\,q)$-模糊$LI$-理想格

In the present paper, the interval-valued (∈,∈∨q)-fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties of interval-valued (∈,∈∨q)-fuzzy LI-ideals are given. Representation theorem of interval-valued (∈,∈∨q)-fuzzy LI-ideal which is generated by an interval-valued fuzzy set is established. It is proved that the set consisting of all interval-valued (∈,∈∨q)-fuzzy LI-ideals in a lattice implication algebra, under the partial order ?, forms a complete distributive lattice.     

R_0-代数的(∈, ∈ ∨ q_k)-模糊滤子格（英文）

The purpose of this paper is to further study the(∈,∈∨q_k)-fuzzy filter theory in R_0-algebras. Some new properties of(∈, ∈∨ q_k)-fuzzy filters are given. Representation theorem of(∈,∈∨q_k)-fuzzy filter which is generated by a fuzzy set is established. It is proved that the set consisting of all(∈, ∈∨q_k)-fuzzy filters on a given R_0-algebra, under the partial order, forms a complete distributive lattice.     

GENERALIZED FUZZY FILTERS OF BL-ALGEBRAS

The concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set is considered.In fact,this is a generalization of quasi-coincidence of a fuzzy point With a fuzzy set.By using this new idea,the notion of interval valued(∈,∈∨q)-fuzzy filters in BL-algebras which is a generalization of fuzzy filters of BL-algebras,is defined,and related properties are investigated.In particular,the concept of a fuzzy subgroup with thresholds is extended to the concept of an interval valued fuzzy filter with thresholds in BL-algebras.     

L-型模糊格蕴涵代数

This paper introduced the concept of L-fuzzy sub lattice implication algebra and discussed its properties. Proved that the intersection set of a family of L-fuzzy sub lattice implication algebras is a L-fuzzy sub lattice implication algebra, that a L-fuzzy sub set of a lattice implication algebra is a L-fuzzy sub lattice implication algebra if and only if its every cut set is a sub lattice implication algebra, and that the image and original image of a L-fuzzy sub lattice implication algebra under a lattice implication homomorphism are both L-fuzzy sub lattice implication algebras.     

A New View on Fuzzy Hypermodules

We describe the relationship between the fuzzy sets and the algebraic hyperstructures. In fact, this paper is a continuation of the ideas presented by Davvaz in （Fuzzy Sets Syst., 117： 477- 484, 2001） and Bhakat and Das in （Fuzzy Sets Syst., 80： 359-368, 1996）. The concept of the quasicoincidence of a fuzzy interval value with an interval-valued fuzzy set is introduced and this is a natural generalization of the quasi-coincidence of a fuzzy point in fuzzy sets. By using this new idea, the concept of interval-valued （α,β）-fuzzy sub-hypermodules of a hypermodule is defined. This newly defined interval-valued （α,β）-fuzzy sub-hypermodule is a We shall study such fuzzy sub-hypermodules and sub-hypermodules of a hypermodule. generalization of the usual fuzzy sub-hypermodule. consider the implication-based interval-valued fuzzy     

Redefined generalized fuzzy ideals of near-rings

With a new idea, we redefine generalized fuzzy subnear-rings(ideals) of a near- ring and investigate some of its related properties. Some new characterizations are given. In particular, we introduce the concepts of strong prime(or semiprime) (∈,∈∨q)-fuzzy ideals of near-rings, and discuss the relationship between strong prime(or semiprime) (∈,∈∨q)-fuzzy ideals and prime(or semiprime) (∈,∈∨q)-fuzzy ideals of near-rings.     

Characterizations of Completely Distributive Lattice

In this note,a completely distributive lattice is characterized hy means of Galoisconnections and generalized order-homomorphisms.The set of all lower sets and the set of all upper sets in a complete lattice L is respec-tively written Low(L)and Upp(L).Our main results are:     

格蕴涵代数的LI-理想空间

In this paper,a topological space based on LI-ideals of a lattice implication algebra is constructed,and its topological properties,such as separability,compactness and connectedness are discussed.     

BCK代数的广义(∈,∈∨q)-模糊理想(英文)

In this paper, as a generalization of the notion of(∈, ∈∨ q)-fuzzy ideals, we introduced the notion of(∈, ∈∨ qδ)-fuzzy ideals and investigated their properties in BCKalgebras. Several equivalent characterizations of(∈, ∈∨ qδ)-fuzzy ideals are obtained and relations between(∈, ∈∨ qδ)-fuzzy ideals and ideals are discussed in BCK-algebras.     

Subdirectly Irreducible and Directly Indecomposable Lattice Implication Algebras

Lattice implication algebra is an algebraic structure that is established by combining lattice and implicative algebra. It originated from the study on lattice-valued logic. In this paper, we characterize two special classes of lattice implication algebra, namely, subdi-rectly irreducible and directly indecomposable lattice implication algebras. Some important results are obtained.     

完备一致空间的非标准特征

In This paper, we prove that the uniform space (X, ψ) is complete if and only if for every remote point p in *X, there exists a pseudo-metric d in the lattice set of ψ and a positive number r such that d(p, q) ≥ r for each q ∈ X.     

半群的模糊内理想

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.     

关于真格蕴函代数的特征

In this paper,the concpet of representation of lattice implication algebra is proposed,some properties of representation are discussed,a characteristic of proper lattice implication algebra and representation theorem of lattice implication alebra are given.     

The Non-standard Characteristics of Comlete Uniform Space

In This paper,we prove that the uniform space(X,ψ）is complete if and only if for every remote point p in ^*X ,there exists a pseudo-metric d in the lattice set of ψ and a positive number r such that d(p,q)≥r for each q∈X.     

A Class Of Counterexamples Concerning an Open Problem

Kenneth R. Davidson raised ten open problems in the book Nest Algebras. One of theseopen problems isProblem 7 If K（交集）AlgL is weak^* dense in AlgL, where K is the set of all compact operators in B(H）,is L completely distributive? In this note, we prove that there is a reflexive subspace lattice L on some Hilbert space, which satisfies the following conditions: (a)F(AlgL) is dense in AlgL in the ultrastrong operator topology, where F(AlgL) is the set of all finite rank operators in AlgL; (b) L isn‘t a completely distributive lattice. The subspace lattices that satisfy the above conditions form a large class of lattices. As a special case of the result, it easy to see that the answer to Problem 7 is negative.     

关于严格蕴涵系统的布尔值模型（续）

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p→p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖=1; (b) ‖As41‖=1; (c) ‖As51‖=1 in the model (V^B,R,‖ ‖)(where B is a complete Boolean algebra, R is reflexive property in V^B).Therefore, the paper finally proves that the Boolean-valued model V^B of the ZFC axiom system in set theory is also a Boolean-valued model V^B of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis the strict implication system S3, S4 and S5.     

On the Product and Factorization of Lattice Implication Algebras

In this paper,the concepts of product and factorization of lattice implication algebra areproposed,the relation between lattice implication product algebra and its factors and some properties oflattice implication product algebras are discussed.     

Generalized fuzzy ideals of near-rings

The concept of（∈,∈∨q）-fuzzy subnear-rings（ideals） of a near-ring is introduced and some of its related properties are investigated.In particular,the relationships among ordinary fuzzy subnear-rings（ideals）,（∈,∈∨ q）-fuzzy subnear-rings（ideals） and（∈,∈∨q）-fuzzy subnear-rings（ideals） of near-rings are described.Finally,some characterization of [μ]t is given by means of（∈,∈∨ q）-fuzzy ideals.     

Fuzzy Metrics Characterized by Molecules and Sets

Erceg in [1] extended the Hausdorff distance function betwen subsets of a set X to fuzzy settheory, and introduced a fuzzy pseudo-quasi-metric(p. q. metric) p: L~x xL~x -[0,∞] where L is acompletely distributive lattice, and the associated family of neighborhood mappings {Dr |r>O}. Thefuzzy metric space in Erceg's sense is denoted by (L~x, p, Dr) since there exists a one to one correspondence between fuzzy p. q. metrics and associatcd families of neighborhood mapping, a family{Dr|r>0}satisfying certain conditions is also callcd a (standard) fuzzy p. q metric. In [2] Liang defimed apointwise fuzzy p. q. metric d: P(L~x)×P(L~x)-[0, ∞) and applicd it to the construction of theproduct fuzzy metric. In this paper, we give axiomatic definitions of molcculewise and fuzzy     

On a Boolean-valued Model of the Strict Implication System(Continuous)

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.