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 builtin 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 propertics of fuzzy ideals discussed.展开更多
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 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.展开更多
Adjoint semigroups of BCI algebras were introduced by Huang [1] and some of its important properties were obtained. In this paper,some characterizations of positive implicative BCK algebras are given by discussing the...Adjoint semigroups of BCI algebras were introduced by Huang [1] and some of its important properties were obtained. In this paper,some characterizations of positive implicative BCK algebras are given by discussing the adjoint semigroups. Moreover,the semigroup differences between positive BCK algebras and implicative BCK algebras are discussed,and some semigroup characterizations of implicative BCK algebras are given.展开更多
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 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.展开更多
文摘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 builtin 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 propertics of fuzzy ideals discussed.
文摘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.
基金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.
文摘Adjoint semigroups of BCI algebras were introduced by Huang [1] and some of its important properties were obtained. In this paper,some characterizations of positive implicative BCK algebras are given by discussing the adjoint semigroups. Moreover,the semigroup differences between positive BCK algebras and implicative BCK algebras are discussed,and some semigroup characterizations of implicative BCK algebras are given.
文摘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 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.
