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.展开更多
We investigate some properties of BCC-algebras and prove the following results: (1)any BCC-algebra X has a subalgebra (2) the dual algebra of Z(X) is a BCK-algebra.
In this paper we develop a theory of localization for bounded commutative BCK-algebras. We try to extend some results from the case of commutative Hilbert algebras (see [1]) to the case of commutative BCK-alge- bras.
In this paper we add some new corcollary and theorems to [1],in particular,we show the fundamental theorem of ultraproducts in lattice valued model for L α logic. As a corollary,we get the α compactness theorem for...In this paper we add some new corcollary and theorems to [1],in particular,we show the fundamental theorem of ultraproducts in lattice valued model for L α logic. As a corollary,we get the α compactness theorem for L_α logic.展开更多
In handing information regarding various aspects of uncertainty, non-classical-mathematics (fuzzy mathematics or great extension and development of classical mathematics) is considered to be a more powerful technique ...In handing information regarding various aspects of uncertainty, non-classical-mathematics (fuzzy mathematics or great extension and development of classical mathematics) is considered to be a more powerful technique than classical mathematics. The non-classical mathematics, therefore, has now days become a useful tool in applications mathematics and computer science. The purpose of this paper is to apply the concept of the fuzzy sets to some algebraic structures such as an ideal, upper semilattice, lower semilattice, lattice and sub-algebra and gives some properties of these algebraic structures by using the concept of fuzzy sets. Finally, related properties are investigated in fuzzy BCK-algebras.展开更多
In this article, the authors study a generalized modulus of convexity, δ（α） （ε）. Certain related geometrical properties of this modulus are analyzed. Their main result is that Banach space X has uniform normal ...In this article, the authors study a generalized modulus of convexity, δ（α） （ε）. Certain related geometrical properties of this modulus are analyzed. Their main result is that Banach space X has uniform normal structure if there exists ε, 0 ≤e≤ 1, such that δ^（α）（1＋ε ） 〉 （1- α）ε.展开更多
This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model...This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no built-in Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding properties of fuzzy ideals discussed.展开更多
The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive clas...The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive class than BCK/BCI/BCH-algebras in the abstract algebra. The BCL-algebras as a class of logical algebras are the algebraic formulations of the set difference together with its properties in set theory and the propositional calculus in logical systems. It is important that the BCL-algebras play an independent role in the axiom algebra system.展开更多
基金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.
文摘We investigate some properties of BCC-algebras and prove the following results: (1)any BCC-algebra X has a subalgebra (2) the dual algebra of Z(X) is a BCK-algebra.
文摘In this paper we develop a theory of localization for bounded commutative BCK-algebras. We try to extend some results from the case of commutative Hilbert algebras (see [1]) to the case of commutative BCK-alge- bras.
文摘In this paper we add some new corcollary and theorems to [1],in particular,we show the fundamental theorem of ultraproducts in lattice valued model for L α logic. As a corollary,we get the α compactness theorem for L_α logic.
文摘In handing information regarding various aspects of uncertainty, non-classical-mathematics (fuzzy mathematics or great extension and development of classical mathematics) is considered to be a more powerful technique than classical mathematics. The non-classical mathematics, therefore, has now days become a useful tool in applications mathematics and computer science. The purpose of this paper is to apply the concept of the fuzzy sets to some algebraic structures such as an ideal, upper semilattice, lower semilattice, lattice and sub-algebra and gives some properties of these algebraic structures by using the concept of fuzzy sets. Finally, related properties are investigated in fuzzy BCK-algebras.
基金Supported by Education Foundation of Henan Province(2003110006)
文摘In this article, the authors study a generalized modulus of convexity, δ（α） （ε）. Certain related geometrical properties of this modulus are analyzed. Their main result is that Banach space X has uniform normal structure if there exists ε, 0 ≤e≤ 1, such that δ^（α）（1＋ε ） 〉 （1- α）ε.
文摘This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no built-in Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding properties of fuzzy ideals discussed.
文摘The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive class than BCK/BCI/BCH-algebras in the abstract algebra. The BCL-algebras as a class of logical algebras are the algebraic formulations of the set difference together with its properties in set theory and the propositional calculus in logical systems. It is important that the BCL-algebras play an independent role in the axiom algebra system.
