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...

BCK and BCI-algebras, two classes of algebras of logic, were introduced by Imai and Iseki [1], Iseki [2] and Iseki and Tanaka [3] and have been extensively studied by various other researchers [4, 5]. It is known that the class of BCK-algebras is a proper subclass of the class of BCI-algebras. In [6, 7] a wider class of abstract algebras was introduced by Q.P.Hu and X.Li.They have shown that th...

We investigate maximal ideals of pseudo-BCK-algebras and give some characterizations of them.

In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...

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...

The conception of the bipolar complex fuzzy set (BCFS) is one fundamental and significant modifications (FS) to tackle tricky awkward information. BCFS has a rich wider structure been utilized in various fields. In this article, we introduce concept (BCF) subalgebras (BCFSAs), BCF ideals (BCFIs) BCK/BCI-algebra along with certain properties. Further, investigate relations between BCFSA BCFI nec...

The notions of $${{\mathcal {N}}}$$ -ideal types $$(\in , \in )$$ and \! \vee \, {q})$$ soft $${\mathcal N}_{\in }$$ -set, {N}}}_{q}$$ {N}}}_{\in {q}}$$ -subalgebra in BCK/BCI-algebra are introduced, several properties investigated. Characterizations N}$$ discussed.