In this paper we introduce the concepts of hyper P -semisimple Ialgebra and Abelian hyper I-algebra and we state and prove some related results. The hyper p-semi simple I-algebras is a generalization of p-semisimple BCI-algebras and a subclass of hyper I-algebras. Specially we show that every Abelian hyper I-algebra is a hyper psemisimple I-algebra and a commutative canonical hypergroup. In fol...

As a continuation of [7], we introduce the notions of topological subalgebras, topological ideals and topological homomorphisms in topological BCI-algebras and study some related properties. In the section 3, we investigate the compactness in a TBCI-algebra X and quotient TBCI-algebra X=I where I is a topological ideal of X. In the section 4, we introduce the notion of topological homomorphisms...

The concept of fuzzy set, which was published by Zadeh in his classic paper [24] of 1965, was applied by many researchers to generalize some of the basic concepts of algebra. The fuzzy algebraic structures play a central role in mathematics with wide applications in many other branches such as theoretical physics, computer sciences, control engineering, information sciences, coding theory, topo...

The aim of this paper is to introduce the notions of (∈,∈ ∨ q)fuzzy p-ideals, (∈,∈ ∨ q)-fuzzy q-ideals and (∈,∈ ∨ q)-fuzzy a-ideals in BCIalgebras and to investigate some of their properties. Several characterization theorems for these generalized fuzzy ideals are proved and the relationship among these generalized fuzzy ideals of BCI-algebras is discussed. It is shown that a fuzzy set of a BCI...

In this note, by using the concept of Bipolar-valued fuzzy set, the notion of bipolar-valued fuzzy BCK/BCI-algebra is introduced. Moreover, the notions of (strong) negative s-cut (strong) positive t-cut are introduced and the relationship between these notions and crisp subalgebras are studied.

Many authors studied the graph theory in connection with commutative semigroups and commutative and noncommutative rings as we can refer to references. For example, Beck 1 associated to any commutative ring R its zero-divisor graph G R whose vertices are the zero-divisors of R including 0 , with two vertices a, b joined by an edge in case ab 0. Also, DeMeyer et al. 2 defined the zero-divisor gr...

Abstract The class of pseudo-M algebras contains pseudo-BCK, pseudo-BCI, pseudo-BCH, pseudo-BE, pseudo-CI and many other logic. In this paper, the notion deductive system in a algebra is introduced its elementary properties are investigated. Closed systems defined studied. homomorphic (closed) provided. concepts translation R-congruences It shown that there bijection between closed R-congruence...

Processing of the certain information, especially inferences based on certain information. Is based on classical two-valued logic. Due to strict and complete logical foundation (classical logic), making inference levels. Thus, it is natural and necessary to attempt to establish some rational logic system as the logical foundation for uncertain information processing. It is evident that this kin...