The ideas of ambiguous bipolar skepticism under algebra and closed skepticism ambiguous bipolar ideals and related features have been developed.The fuzzy measure ideal is described in terms of bipolar ambiguous measur...The ideas of ambiguous bipolar skepticism under algebra and closed skepticism ambiguous bipolar ideals and related features have been developed.The fuzzy measure ideal is described in terms of bipolar ambiguous measure algebra and bipolar skepticism,and the linkages between bipolar fuzzy measure algebra are determined.A bipolar misty ideal’s skepticism is examined.InBCW andBCL-measure algebra,homogeneous ideas and dubious pictures of fuzzy bipolar measure ideas are examined.Also,we gave the relationship between these concepts.Finally,it is given the perfect terms for an occult bipolar doubt to be a measure of ideal fuzzy bipolar closed doubt.展开更多
In this paper, we defined the concept of implicative and fuzzy implicative ideals of lattice implication algebras, and discussed the properties of them. And then, we pointed out the relations between implicative ideal...In this paper, we defined the concept of implicative and fuzzy implicative ideals of lattice implication algebras, and discussed the properties of them. And then, we pointed out the relations between implicative ideal and LI _ideal, implicative iedal and implicative filter, implicative ideal and fuzzy implicative ideal, fuzzy implicative ideal and fuzzy implicative filter, and fuzzy implicative ideal and fuzzy LI _ideal.展开更多
In this paper,the topological space(PF_(MP)(X),T) based on prime MP-filters of a lattice FI-algebra X is constructed firstly and we proved that it is a compact T_0-space if X with condition(P).Secondly,we restricted T...In this paper,the topological space(PF_(MP)(X),T) based on prime MP-filters of a lattice FI-algebra X is constructed firstly and we proved that it is a compact T_0-space if X with condition(P).Secondly,we restricted T to the set of all maximal MP-filters MF_(MP)(X) of X and concluded that(PF_(MP)(X),T |_(PF_(MP)(X)) )is a compact T_2 space if X with conditions(P) and(S).展开更多
In this paper, the properties of fuzzy MP-filters are discussed by using methods of Domain theory in FI-algebras. It is proved that all fuzzy MP-filters of a given FI-algebra form a distributive algebraic lattice, par...In this paper, the properties of fuzzy MP-filters are discussed by using methods of Domain theory in FI-algebras. It is proved that all fuzzy MP-filters of a given FI-algebra form a distributive algebraic lattice, particularly form a frame.展开更多
In this paper, the syntactical problenss of lattice- valued proptnitional logicsystem LP(X) are discuased , the soundness theorem and the deduction thooremare given, and the adequaey problem of LP(X) is solved with sl...In this paper, the syntactical problenss of lattice- valued proptnitional logicsystem LP(X) are discuased , the soundness theorem and the deduction thooremare given, and the adequaey problem of LP(X) is solved with slishtrestriction.展开更多
The notions of fuzzy dot ideals and fuzzy dot H-ideals in BCH-algebras are introduced, several appropriate examples are provided, and their some properties are investigated. The relations among fuzzy ideal, fuzzy H-id...The notions of fuzzy dot ideals and fuzzy dot H-ideals in BCH-algebras are introduced, several appropriate examples are provided, and their some properties are investigated. The relations among fuzzy ideal, fuzzy H-ideal, fuzzy dot ideal and fuzzy dot H-ideals in BCH- algebras are discussed, several equivalent depictions of fuzzy dot ideal are obtained. How to deal with the homomorphic image and inverse image of fuzzy dot ideals （fuzzy dot H-ideals） are studied. The relations between a fuzzy dot ideal （fuzzy dot H-ideal） in BCH-algebras and a fuzzy dot ideal （fuzzy dot H-ideal） in the product algebra of BCH-algebras are given.展开更多
In this note by two relations belonging to (∈) and quasi-coincidence (q) between fuzzy points and fuzzy sets, the notion of (α,β)-fuzzy Q-algebras, the level Q-subalgebra is introduced where α,β are any two of {...In this note by two relations belonging to (∈) and quasi-coincidence (q) between fuzzy points and fuzzy sets, the notion of (α,β)-fuzzy Q-algebras, the level Q-subalgebra is introduced where α,β are any two of {∈,q,∈∨q,∈∧q} with α≠∈∧q. Then we state and prove some theorems which determine the relationship between these notions and Q-subalgebras. The images and inverse images of (α,β)-fuzzy Q-subalgebras are defined, and how the homomorphic images and inverse images of (α,β)-fuzzy Q-subalgebra becomes (α,β)-fuzzy Q-algebras are studied.展开更多
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 characterizatio...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.展开更多
In this paper, we use the notion of fuzzy point to study ideal and positive implicative ideal in BCK algebras, then we clarify the links between the fuzzy point approach, the classical fuzzy approach and the ordinary ...In this paper, we use the notion of fuzzy point to study ideal and positive implicative ideal in BCK algebras, then we clarify the links between the fuzzy point approach, the classical fuzzy approach and the ordinary case.展开更多
In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semant...In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semantically. The membership functions of fuzzy concepts form chains which satisfy Zadeh algebra axioms. These chains are based on important relationship condition (1) represented in the introduction where the binary relation Rm of a simple concept m is defined more general in Definition 2.10. Then every chain of membership functions forms a Zadeh algebra. It demands a lot of preliminaries before we obtain this desired result.展开更多
In this paper, closure operators of lattice-valued propositional logic LP（X） are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP（X） is investi...In this paper, closure operators of lattice-valued propositional logic LP（X） are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP（X） is investigated. At the same time, a tool for checking compactness of LP（X） is given.展开更多
In fuzzy set theory, instead of the underlying membership set being a two-valued set it is a multi-valued set that generally has the structure of a lattice L with a minimal element O and the maximal element I. Further...In fuzzy set theory, instead of the underlying membership set being a two-valued set it is a multi-valued set that generally has the structure of a lattice L with a minimal element O and the maximal element I. Furthermore if ∧, ∨, → and ┐ are defined in the set L, then we can use these operations to define, as in the ordinary set theory, operations on fuzzy subsets. In this paper we give a model of the Lattice-Valued Logic with set of agents. Any agents know the logic value of a sentence p. The logic value is compatible with all of the accessible conceptual models or worlds of p inside the agent. Agent can be rational or irrational in the use of the logic operation. Every agent of n agents can have the same set of conceptual models for p and know the same logic for p in this case the agents form a consistent group of agents. When agents have different conceptual models for p, different subgroup of agents know different logic value for p. In this case the n agents are inconsistent in the expression of the logic value for p. The valuation structure of set of agents can be used as a semantic model for the Lattice-valued Logic and fuzzy logic.展开更多
This paper aims to introduce new notions of (fuzzy) n-fold P-ideals and (fuzzy) n-fold weak P-ideals in BCI-algebras, and investigate several properties of the foldness theory of P-ideals in BCI-algebras. Finally, we ...This paper aims to introduce new notions of (fuzzy) n-fold P-ideals and (fuzzy) n-fold weak P-ideals in BCI-algebras, and investigate several properties of the foldness theory of P-ideals in BCI-algebras. Finally, we construct a computer-program for studying the foldness theory of P-ideals in BCI-algebras.展开更多
Triangular norm is a powerful tool in the theory research and application development of fuzzy sets. In this paper, using the triang norm, we introduce some concepts such as fuzzy algebra, fuzzy a algebra and fuzzy mo...Triangular norm is a powerful tool in the theory research and application development of fuzzy sets. In this paper, using the triang norm, we introduce some concepts such as fuzzy algebra, fuzzy a algebra and fuzzy monotone class, and discuss the relations among them,obtaining the following main conclusions:Theorem 1: Let (I,S,T,C) be a norm spetem, S and T be dual norm,(Ⅰ) If is a fuzzy σ algebra, then is also a fuzzy monotooe class;(Ⅱ ) If a fuzzy algebra is a fuzzy monotone class, then is also a fuzzy σ algebra.Theorem 2: If φ(X) is a fuzzy algebra, then m (φ) =σ(φ).展开更多
Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the taut...Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.展开更多
We have given a semantic extension of lattice-valued propositional logic LP（X） in [6]. In this paper, we investigate its corresponding syntactic extension of LP（X） and give the relations between these two extensions.
In the mathematical applications, ideal concepts are involved. They have been studied and analyzed in various ways. Already ideal and α-ideal concepts were discussed in BF-algebras. In this paper the idea of bipolar ...In the mathematical applications, ideal concepts are involved. They have been studied and analyzed in various ways. Already ideal and α-ideal concepts were discussed in BF-algebras. In this paper the idea of bipolar valued fuzzy α-ideal of BF algebra is proposed. The relationship between bipolar valued fuzzy ideal and bipolar valued fuzzy α-ideal is studied. Some interesting results are also discussed.展开更多
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...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.展开更多
A 2-dimension linguistic lattice implication algebra(2DL-LIA)can build a bridge between logical algebra and 2-dimension fuzzy linguistic information.In this paper,the notion of a Boolean element is proposed in a 2DL-L...A 2-dimension linguistic lattice implication algebra(2DL-LIA)can build a bridge between logical algebra and 2-dimension fuzzy linguistic information.In this paper,the notion of a Boolean element is proposed in a 2DL-LIA and some properties of Boolean elements are discussed.Then derivations on 2DL-LIAs are introduced and the related properties of derivations are investigated.Moreover,it proves that the derivations on 2DL-LIAs can be constructed by Boolean elements.展开更多
文摘The ideas of ambiguous bipolar skepticism under algebra and closed skepticism ambiguous bipolar ideals and related features have been developed.The fuzzy measure ideal is described in terms of bipolar ambiguous measure algebra and bipolar skepticism,and the linkages between bipolar fuzzy measure algebra are determined.A bipolar misty ideal’s skepticism is examined.InBCW andBCL-measure algebra,homogeneous ideas and dubious pictures of fuzzy bipolar measure ideas are examined.Also,we gave the relationship between these concepts.Finally,it is given the perfect terms for an occult bipolar doubt to be a measure of ideal fuzzy bipolar closed doubt.
文摘In this paper, we defined the concept of implicative and fuzzy implicative ideals of lattice implication algebras, and discussed the properties of them. And then, we pointed out the relations between implicative ideal and LI _ideal, implicative iedal and implicative filter, implicative ideal and fuzzy implicative ideal, fuzzy implicative ideal and fuzzy implicative filter, and fuzzy implicative ideal and fuzzy LI _ideal.
基金Supported by the NSF of China(10371106,60774073)
文摘In this paper,the topological space(PF_(MP)(X),T) based on prime MP-filters of a lattice FI-algebra X is constructed firstly and we proved that it is a compact T_0-space if X with condition(P).Secondly,we restricted T to the set of all maximal MP-filters MF_(MP)(X) of X and concluded that(PF_(MP)(X),T |_(PF_(MP)(X)) )is a compact T_2 space if X with conditions(P) and(S).
基金Foundation item： Supported by the National Natural Science Foundation of China（10371106, 60774073）
文摘In this paper, the properties of fuzzy MP-filters are discussed by using methods of Domain theory in FI-algebras. It is proved that all fuzzy MP-filters of a given FI-algebra form a distributive algebraic lattice, particularly form a frame.
文摘In this paper, the syntactical problenss of lattice- valued proptnitional logicsystem LP(X) are discuased , the soundness theorem and the deduction thooremare given, and the adequaey problem of LP(X) is solved with slishtrestriction.
基金Supported by the special item of Key Laboratory of Education Bureau of Sichuan Province(2006ZD050)
文摘The notions of fuzzy dot ideals and fuzzy dot H-ideals in BCH-algebras are introduced, several appropriate examples are provided, and their some properties are investigated. The relations among fuzzy ideal, fuzzy H-ideal, fuzzy dot ideal and fuzzy dot H-ideals in BCH- algebras are discussed, several equivalent depictions of fuzzy dot ideal are obtained. How to deal with the homomorphic image and inverse image of fuzzy dot ideals （fuzzy dot H-ideals） are studied. The relations between a fuzzy dot ideal （fuzzy dot H-ideal） in BCH-algebras and a fuzzy dot ideal （fuzzy dot H-ideal） in the product algebra of BCH-algebras are given.
文摘In this note by two relations belonging to (∈) and quasi-coincidence (q) between fuzzy points and fuzzy sets, the notion of (α,β)-fuzzy Q-algebras, the level Q-subalgebra is introduced where α,β are any two of {∈,q,∈∨q,∈∧q} with α≠∈∧q. Then we state and prove some theorems which determine the relationship between these notions and Q-subalgebras. The images and inverse images of (α,β)-fuzzy Q-subalgebras are defined, and how the homomorphic images and inverse images of (α,β)-fuzzy Q-subalgebra becomes (α,β)-fuzzy Q-algebras are studied.
基金Supported by the National Science Foundation of China（60774073）
文摘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.
文摘In this paper, we use the notion of fuzzy point to study ideal and positive implicative ideal in BCK algebras, then we clarify the links between the fuzzy point approach, the classical fuzzy approach and the ordinary case.
文摘In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semantically. The membership functions of fuzzy concepts form chains which satisfy Zadeh algebra axioms. These chains are based on important relationship condition (1) represented in the introduction where the binary relation Rm of a simple concept m is defined more general in Definition 2.10. Then every chain of membership functions forms a Zadeh algebra. It demands a lot of preliminaries before we obtain this desired result.
基金Supported by the National Natural Science Foundation of China(60474022)
文摘In this paper, closure operators of lattice-valued propositional logic LP（X） are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP（X） is investigated. At the same time, a tool for checking compactness of LP（X） is given.
文摘In fuzzy set theory, instead of the underlying membership set being a two-valued set it is a multi-valued set that generally has the structure of a lattice L with a minimal element O and the maximal element I. Furthermore if ∧, ∨, → and ┐ are defined in the set L, then we can use these operations to define, as in the ordinary set theory, operations on fuzzy subsets. In this paper we give a model of the Lattice-Valued Logic with set of agents. Any agents know the logic value of a sentence p. The logic value is compatible with all of the accessible conceptual models or worlds of p inside the agent. Agent can be rational or irrational in the use of the logic operation. Every agent of n agents can have the same set of conceptual models for p and know the same logic for p in this case the agents form a consistent group of agents. When agents have different conceptual models for p, different subgroup of agents know different logic value for p. In this case the n agents are inconsistent in the expression of the logic value for p. The valuation structure of set of agents can be used as a semantic model for the Lattice-valued Logic and fuzzy logic.
文摘This paper aims to introduce new notions of (fuzzy) n-fold P-ideals and (fuzzy) n-fold weak P-ideals in BCI-algebras, and investigate several properties of the foldness theory of P-ideals in BCI-algebras. Finally, we construct a computer-program for studying the foldness theory of P-ideals in BCI-algebras.
文摘Triangular norm is a powerful tool in the theory research and application development of fuzzy sets. In this paper, using the triang norm, we introduce some concepts such as fuzzy algebra, fuzzy a algebra and fuzzy monotone class, and discuss the relations among them,obtaining the following main conclusions:Theorem 1: Let (I,S,T,C) be a norm spetem, S and T be dual norm,(Ⅰ) If is a fuzzy σ algebra, then is also a fuzzy monotooe class;(Ⅱ ) If a fuzzy algebra is a fuzzy monotone class, then is also a fuzzy σ algebra.Theorem 2: If φ(X) is a fuzzy algebra, then m (φ) =σ(φ).
文摘Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.
基金Supported by the National Natural Science Foundation of China(60474022)
文摘We have given a semantic extension of lattice-valued propositional logic LP（X） in [6]. In this paper, we investigate its corresponding syntactic extension of LP（X） and give the relations between these two extensions.
文摘In the mathematical applications, ideal concepts are involved. They have been studied and analyzed in various ways. Already ideal and α-ideal concepts were discussed in BF-algebras. In this paper the idea of bipolar valued fuzzy α-ideal of BF algebra is proposed. The relationship between bipolar valued fuzzy ideal and bipolar valued fuzzy α-ideal is studied. Some interesting results are also discussed.
基金Supported by Higher School Research Foundation of Inner Mongolia(NJSY14283)
文摘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.
基金Supported by the National Natural Science Foundation of China(11501523,61673320)。
文摘A 2-dimension linguistic lattice implication algebra(2DL-LIA)can build a bridge between logical algebra and 2-dimension fuzzy linguistic information.In this paper,the notion of a Boolean element is proposed in a 2DL-LIA and some properties of Boolean elements are discussed.Then derivations on 2DL-LIAs are introduced and the related properties of derivations are investigated.Moreover,it proves that the derivations on 2DL-LIAs can be constructed by Boolean elements.
