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.展开更多
We prove that the adjoint semigroup of an implicative BCK algebra is an upper semilattice, and the adjoint semigroup of an implicative BCK algebra with condition(s) is a generalized Boolean algebra. Moreover we prov...We prove that the adjoint semigroup of an implicative BCK algebra is an upper semilattice, and the adjoint semigroup of an implicative BCK algebra with condition(s) is a generalized Boolean algebra. Moreover we prove the adjoint semigroup of a bounded implicative BCK algebra is a Boolean algebra.展开更多
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 apply the rough set theory to pseudo-BCK-algebras. As a generalization of pseudo-BCK-algebras, the notions of rough pseudo-BCK-algebras, rough subalgebras and rough pseudo-filters are introduced and ...In this paper, we apply the rough set theory to pseudo-BCK-algebras. As a generalization of pseudo-BCK-algebras, the notions of rough pseudo-BCK-algebras, rough subalgebras and rough pseudo-filters are introduced and some of their properties are discussed in an algebra-like approximation space. Furthermore, we investigate rough subalgebras and rough pseudo-filters in a pseudo-BCK-algebra approximation space. Finally, we give several verification programs of pseudo-BCK-algebras, pseudo-filters and subalgebra.展开更多
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 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.
文摘We prove that the adjoint semigroup of an implicative BCK algebra is an upper semilattice, and the adjoint semigroup of an implicative BCK algebra with condition(s) is a generalized Boolean algebra. Moreover we prove the adjoint semigroup of a bounded implicative BCK algebra is a Boolean algebra.
文摘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.
基金Supported by Ningbo Natural Science Foundation Project(Grant No.2013A610100)the Twelfth Five-Year Plan of Zhejiang Province Key Discipline-Computer Application Technology(Grant No.20121114)the Science Foundation Project of Ningbo University(Grant No.XYL13004)
文摘In this paper, we apply the rough set theory to pseudo-BCK-algebras. As a generalization of pseudo-BCK-algebras, the notions of rough pseudo-BCK-algebras, rough subalgebras and rough pseudo-filters are introduced and some of their properties are discussed in an algebra-like approximation space. Furthermore, we investigate rough subalgebras and rough pseudo-filters in a pseudo-BCK-algebra approximation space. Finally, we give several verification programs of pseudo-BCK-algebras, pseudo-filters and subalgebra.
文摘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.
