# Fuzzy rank functions in the set of all binary systems

- Hee Sik Kim
^{1}, - J. Neggers
^{2}and - Keum Sook So
^{3}Email author

**Received: **19 February 2016

**Accepted: **13 October 2016

**Published: **24 October 2016

## Abstract

In this paper, we introduce fuzzy rank functions for groupoids, and we investigate their roles in the semigroup of binary systems by using the notions of right parallelisms and \(\rho\)-shrinking groupoids.

## Keywords

*d*-function(Fuzzy) symmetric-rank-functionRight parallel \(\rho\)-ShrinkingSelective

*Bin*(

*X*)

## Mathematics Subject Classification

## Background

The notion of a fuzzy subset of a set was introduced by Zadeh (1965). His seminal paper has opened up new insights and applications in a wide range of scientific fields. Rosenfeld (1971) used the notion of a fuzzy subset to set down corner stone papers in several areas of mathematics. Mordeson and Malik (1998) published a remarkable book, *Fuzzy commutative algebra*, presented a fuzzy ideal theory of commutative rings and applied the results to the solution of fuzzy intersection equations. The book included all the important work that has been done on *L*-subspaces of a vector space and on *L*-subfields of a field.

In the study of groupoids \((X,*)\) defined on set *X*, it has also proven useful to investigate the semigroups \((Bin(X), \Box )\) where *Bin*(*X*) is the set of all binary systems (groupoids) \((X,*)\) along with an associative product operation \((X,*)\,\Box \,(X, \bullet ) = (X, \Box )\) such that \(x\,\Box \,y = (x*y)\,\bullet \,(y*x)\) for all \(x, y\in X\). Thus, e.g., it becomes possible to recognize that the left-zero-semigroup \((X,*)\) with \(x*y = x\) for all \(x, y\in X\) acts as the identity of this semigroup [see Kim and Neggers (2008)]. Fayoumi (2011) introduced the notion of the center *ZBin*(*X*) in the semigroup *Bin*(*X*) of all binary systems on a set *X*, and showed that a groupoid \((X,\bullet )\in ZBin(X)\) if and only if it is a locally-zero groupoid. Han et al. (2012) introduced the notion of hypergroupoids \((HBin(X),\Box )\), and showed that \((HBin(X), \Box )\) is a supersemigroup of the semigroup \((Bin(X), \Box )\) via the identification \(x \longleftrightarrow \{x\}\). They proved that \((HBin^*(X), \ominus , [\emptyset ])\) is a *BCK*-algebra.

In this paper, we introduce fuzzy rank functions for groupoids, and we investigate their roles in the semigroup of binary systems by using the notions of right parallelisms and \(\rho\)-shrinking groupoids.

## Preliminaries

*X*, we let \(Bin(X)\) denote the collection of all groupoids \((X,*)\), where \(*: X\times X\rightarrow X\) is a map and where \(*(x, y)\) is written in the usual product form. Given elements \((X,*)\) and \((X,\bullet )\) of \(Bin(X)\), define a product “\(\Box\)” on these groupoids as follows:

###
**Theorem 1**

(Kim and Neggers 2008) \((Bin(X), \Box )\)
*is a semigroup, i.e., the operation* “\(\Box\)” *as defined in general is associative. Furthermore, the left- zero-semigroup is the identity for this operation*.

## Fuzzy rank functions for groupoids

*Bin*(

*X*), a map \(\rho : X\rightarrow [0, \infty )\) (or \(\rho : X\rightarrow [0, 1]\)) is said to be:

- (i)
a (

*fuzzy*)*rank-subalgebra*: \(\rho (x*y)\ge \min \{\rho (x), \rho (y)\}\), - (ii)
a (

*fuzzy*)*rank-co-subalgebra*: \(\rho (x*y) \le \max \{\rho (x), \rho (y)\}\), - (iii)
a (

*fuzzy*)*rank-d-function*: \(\rho (x*y) =\max \{ \rho (x) -\rho (y), 0\}\), - (iv)
a (

*fuzzy*)*symmetric-rank-function*: \(\rho (x*y)= \max \{\rho (x)-\rho (y), \rho (y) -\rho (x)\}\,\hbox{for\,all}\,x,y \in X.\)

Note that if \(\rho : X\rightarrow [0, \infty )\) is a fuzzy subset of *X*, then it is a fuzzy rank-subalgebra as well. Thus these algebraic structures are special cases of the classes of fuzzy rank-subalgebras. Each of the types listed above serve as some idea of measure of size when the binary operation “\(*\)” is considered as corresponding very roughly to a (group) sum (product), a left-zero-semigroup, a *d*-algebra (*BCK*-algebra) or an absolute (value) difference. For the sake of being able to make comparisons in the behavior of interactions of rank-type and groupoid it seems a better idea to consider these simultaneously rather than study only isolated cases without considering common aspects as well as distinguishing ones.

###
*Example 2*

- (a)
Let \((X,*)\) be a left-zero-semigroup, i.e., \(x*y = x\) for all \(x, y\in X\). If \(\rho : X\rightarrow [0, \infty )\) is any map, then \(\rho (x*y) = \rho (x)\) for all \(x, y\in X\). It follows that \(\rho (x*y) \ge \min \{\rho (x), \rho (y)\}\) and \(\rho (x*y) \le \max \{\rho (x), \rho (y)\}\) for all \(x, y\in X\), which shows that every function \(\rho : X\rightarrow [0, \infty )\) is both a (fuzzy) rank-subalgebra and a (fuzzy) rank-co-subalgebra.

- (b)
Let \((X,*)\) be a left-zero-semigroup and let \(\rho : X \rightarrow [0, \infty )\) be a (fuzzy) rank-

*d*-function. Then it is a zero function. In fact, if we assume that there exists an \(x_0\in X\) such that \(\rho (x_0)> 0\), then \(0< \rho (x_0) = \rho (x_0* y) =\max \{\rho (x_0)-\rho (y), 0\}\) for all \(y\in X\). If we take \(y:=x_0\), then it leads to a contradiction. - (c)
Let \((X,*)\) be a left-zero-semigroup and let \(\rho : X \rightarrow [0, \infty )\) be a (fuzzy) symmetric-rank-function. Assume that there exists \(x_0\in X\) such that \(0< \rho (x_0)\). Since \(\rho\) is a (fuzzy) symmetric-rank-function, we have \(\rho (x) = \rho (x*y) = \max \{\rho (x) -\rho (y), \rho (y)-\rho (x)\}\) for all \(x, y\in X\). If we take \(x:= x_0, y:= y_0\), then \(0< \rho (x_0)= \rho (x_0* x_0) =\max \{ \rho (x_0)-\rho (x_0), \rho (x_0)-\rho (x_0)\}=0\), a contradiction. This shows that \(\rho\) is a zero function.

If \((X,*)\) is a right-zero-semigroup, i.e., \(x*y = y\) for all \(x, y\in X\), then any function \(\rho : X\rightarrow [0, \infty )\) is both a (fuzzy) rank-subalgebra and a (fuzzy) rank-co-subalgebra of \((X,*)\), while if \(\rho\) is either a (fuzzy) rank-*d*-function or a (fuzzy) symmetric-rank-function, then it is a zero function.

A groupoid \((X,*)\) is said to be *selective* (Neggers 1976; Neggers and Kim 1996) if \(x*y\in \{x, y\}\) for all \(x, y\in X\). For example, every left-(right-)zero-semigroup is selective. Given a selective groupoid \((X,*)\), we may construct a digraph via \(x\rightarrow y \Leftrightarrow x*y =y\) for all \(x, y\in X\). Hence selective groupoids are interpretable as digraphs on the (vertex) set *X*.

###
**Proposition 3**

*Let*
\((X,*)\)
*be a selective groupoid and let*
\(\rho : X\rightarrow [0, \infty )\)
*be a* (*fuzzy*) *rank*-*d*-*function of*
*X*. *If*
\(x\in X\)
*such that*
\(\rho (x)>0\), *then any vertex*
\(y (\not = x)\)
*in*
*X*
*with*
\(x\nrightarrow y\)
*has*
\(\rho (y)=0\).

###
*Proof*

Let \(y (\not = x)\) in *X* with \(x\nrightarrow y\). Since \((X,*)\) is selective and \(x\nrightarrow y\), we have \(x*y = x\). It follows from the fact that \(\rho\) is a rank-*d*-function that \(\rho (x) = \rho (x*y) = \max \{\rho (x)-\rho (y), 0\}\) and hence that \(\rho (x) = \rho (x) -\rho (y)\), proving that \(\rho (y)= 0\). \(\square\)

###
**Theorem 4**

*Let*
\((X,*)\)
*be a selective groupoid and let*
\(\rho : X\rightarrow [0, \infty )\)
*be a* (*fuzzy*) *rank*-*d*-*function of*
*X*. *If*
\(x\in X\)
*such that*
\(\rho (x)>0\), *then there exists at most one vertex*
\(x\in X\)
*such that*
\(\rho (x)>0\).

###
*Proof*

Assume that there are two vertices *x* and *y* in *X* such that \(\rho (x)>0, \rho (y)>0\). It follows that \(x\rightarrow y, y\rightarrow x\) by Proposition 3. Now \(x\rightarrow y\) implies that \(x*y= y\). Hence \(0 < \rho (y) =\rho (x*y) =\max \{\rho (x)-\rho (y), 0\}= \rho (x)-\rho (y)\). This shows that \(2\rho (y) = \rho (x)\). Similarly, \(y\rightarrow x\) implies \(2\rho (x) = \rho (y)\). Thus we obtain \(\rho (x) = 2\rho (y) = 4\rho (x)\), which implies \(\rho (x)=0\), a contradiction. \(\square\)

###
**Proposition 5**

*If*
\((X,*)\)
*is a selective groupoid, then every* (*fuzzy*) *rank*-*d*-*function of*
\((X, *)\)
*is a zero function*.

###
*Proof*

If \((X,*)\) is a selective groupoid, then \(x*x = x\) for all \(x\in X\). Since \(\rho\) is a (fuzzy) rank-*d*-function, we obtain \(\rho (x) = \rho (x*x) = \max \{\rho (x)-\rho (x), 0\} = 0\), proving the proposition. \(\square\)

###
**Proposition 6**

\((\sum _i(\rho ), \Box )\)
*is a subsemigroup of*
\((Bin(X), \Box )\)
*where*
\(i= 1, 2, 3\).

###
*Proof*

Let \(\rho : X\rightarrow [0, \infty )\) be a map. A groupoid \((X,*)\) is said to have a \(\rho\)-*chain*
*n* if there exist \(x_1, \ldots , x_n\in X\) such that \(\rho (x_1)< \rho (x_2)< \cdots < \rho (x_n)\). We denote the \(\rho\)-chain by \(\langle x_1, \ldots , x_n \rangle\). A groupoid \((X,*)\) is said to have the \(\rho\)-*height*
*n* if \(\langle x_1, \ldots , x_n \rangle\) is the largest maximal \(\rho\)-chain in \((X,*)\).

###
**Proposition 7**

*Let*
\(\rho : X\rightarrow [0, \infty )\)
*be a map and let*
\(Bin(X) = \sum _1(\rho )\). *Then the*
\(\rho\)-*height of*
\((X,*)\)
*is* ≥2 *for any*
\((X,*)\in Bin(X)\).

###
*Proof*

Assume there exist \(x, y, z\in X\) such that \(\rho (x)< \rho (y) < \rho (z)\). Let \((X,*)\) be a groupoid such that \(x= y*z\). Then \((X,*) \in Bin(X) = \sum \nolimits _1(\rho )\). It follows that \(\rho (y*z) =\rho (x) < \rho (y) = \min \{\rho (y), \rho (z)\}\). This shows that \((X,*)\not \in \sum \nolimits _1(\rho ) = Bin(X)\), a contradiction. \(\square\)

###
**Proposition 8**

*Let*
\(\rho : X\rightarrow [0, \infty )\)
*be a map and let*
\(Bin(X) = \sum _1(\rho )\). *If*
\(\rho\)
*has two values*
\(a, b\in [0, \infty )\)
*with*
\(a< b\), *then there exists uniquely an*
\(\widehat{x} \in X\)
*such that*
\(\rho (\widehat{x})= b\)
*and*
\(\rho (y) = a\)
*for all*
\(y\not = \widehat{x}\)
*in*
*X*.

###
*Proof*

Let \(\widehat{x} \in X\) such that \(\rho (\widehat{x}) = b > a\). If \(y\in X\) such that \(\widehat{x}\not = y\), then \(\rho (y) = a\). In fact, if \(\rho (y)=b\), then we may take a groupoid \((X,*)\) in *Bin*(*X*) such that \(\rho (\widehat{x} * y) = a\), since \(Bin(X) = \sum\nolimits _1(\rho )\). It follows that \(a = \rho (\widehat{x} * y) \ge \min \{ \rho (\widehat{x}), \rho (y)\}= b\), a contradiction. We claim that such an \(\widehat{x}\) is unique. Assume that there are two elements \(x^{\prime }, \widehat{x}\) in *X* such that \(\rho (\widehat{x}) = b = \rho (x^{\prime })\). A groupoid \((X,\bullet )\) satisfying \(\rho (\widehat{x}\,\bullet \, x^{\prime }) = a\) may then be selected. It follows that \(a= \rho (\widehat{x}\,\bullet \, x^{\prime }) \ge \min \{ \rho (\widehat{x}), \rho (x^{\prime })\}= b\), a contradiction. \(\square\)

###
**Proposition 9**

*Let*\((X,*)\in Bin(X)\)

*and let*\(\rho : X\rightarrow [0, \infty )\)

*be a*(

*fuzzy*)

*rank*-

*d*-

*function of*

*X*.

*Then*

- (1)
\(Ker(\rho ) \not = \emptyset\),

- (2)
*if*\(\rho (x) \le \rho (y)\)*then*\(x*y \in Ker(\rho )\), - (3)
\(Ker(\rho )\)

*is a right ideal of*\((X,*)\).

###
*Proof*

(1) Given \(x\in X\), \(\rho (x*x) = \max \{\rho (x)-\rho (x), 0\} = 0\). It follows that \(x*x\in Ker(\rho )\). (2) If \(\rho (x) \le \rho (y)\) then \(\rho (x*y) = \max \{\rho (x)-\rho (y), 0\}= 0\) and hence \(x*y\in Ker(\rho )\). (3) Given \(x\in Ker(\rho ), y\in X\), we have \(\rho (x*y) = \max \{\rho (x)-\rho (y), 0\} = \max \{0-\rho (y), 0\} = 0\), which shows \(x*y\in Ker(\rho )\). \(\square\)

## Right parallelisms

Let \(\rho _1, \rho _2\) be mappings from *X* to \([0, \infty )\). The map \(\rho _1\) is said to be *right parallel* to \(\rho _2\) if \(\rho _1(a)\le \rho _1(b)\) implies \(\rho _2(a)\le \rho _2(b)\), and we denote it by \(\rho _1\, ||\, \rho _2\).

###
**Proposition 10**

*If*
\(\rho _1\)
*is a* (*fuzzy*) *rank-subalgebra of*
\((X,*)\)
*and*
\(\rho _1 || \rho _2\), *then*
\(\rho _2\)
*is also a* (*fuzzy*) *rank-subalgebra of*
\((X,*)\).

###
*Proof*

If \(\rho _1\) is a rank-subalgebra of \((X,*)\), then \(\rho _1(x*y)\ge \min \{\rho _1(x),\) \(\rho _1(y)\}\) for all \(x, y\in X\). Without loss of generality, we let \(\rho _1(x*y) \ge \rho _1(x)\). Since \(\rho _1|| \rho _2\), we obtain \(\rho _2(x*y) \ge \rho _2(x)\). It follows that \(\rho _2(x*y)\ge \min \{\rho _2(x), \rho _2(y)\}\). \(\square\)

###
**Proposition 11**

*Let*
\(\rho _1, \rho _2\)
*be mappings from*
*X*
*to*
\([0, \infty )\). *If*
\(\rho _1\)
*is a constant for all*
\(x\in X\)
*and if*
\(\rho _1|| \rho _2\), *then*
\(\rho _2\)
*is also a constant function on*
*X*.

###
*Proof*

Straightforward. \(\square\)

Note that any map \(\rho _1\) is right parallel to \(\rho _2\) if \(\rho _2\) is a constant function. The ‘right parallel’ relation “||” is reflexive and transitive, but it is not an anti-symmetric, i.e., || is a quasi order, but not a partial order on \(\{\rho | \rho : X\rightarrow [0, \infty )\) : a map \(\}\).

For example, we let \(X:=[0, \infty )\) and let \(\rho _1: X\rightarrow [0, \infty )\) be the identity map, and let \(\rho _2: X\rightarrow [0, \infty )\) be a map defined by \(\rho _2(x):= e^ x\). Then \(\rho _1(a)\le \rho _1(b)\) if and only if \(\rho _2(a)\le \rho _2(b)\) for all \(a, b\in X\), i.e., \(\rho _1|| \rho _2, \rho _2|| \rho _1\), but \(\rho _1 \not = \rho _2\).

###
**Proposition 12**

*If*
\(\rho _1\)
*is a* (*fuzzy*) *rank-subalgebra of*
\((X,*)\)
*and*
\(\rho _1|| \rho _2\), *then*
\(\rho _1\,\bullet \,\rho _2\)
*is also a* (*fuzzy*) *rank-subalgebra of*
\((X,*)\).

###
*Proof*

###
**Corollary 13**

*If*
\(\rho _1\)
*is a* (*fuzzy*) *rank-co-subalgebra of*
\((X,*)\)
*and*
\(\rho _1|| \rho _2\), *then*
\(\rho _1\,\bullet \,\rho _2\)
*and*
\(\rho _2\)
*are also* (*fuzzy*) *rank-co-subalgebras of*
\((X,*)\).

###
*Proof*

The proofs are similar to Propositions 10 and 12. \(\square\)

In the above note, we mentioned that \(\rho _1 + \rho _2\) need not be a rank-subalgebra of \((X,*)\). Using the notion of the right parallelism, we prove the following.

###
**Proposition 14**

*If*
\(\rho _i\)
*is a rank-subalgebra of*
\((X,*)\)
\((i= 1,2)\)
*and if*
\(\rho _1|| \rho _2\), *then*
\(\rho _1 + \rho _2\)
*is also a rank-subalgebra of*
\((X,*)\).

###
*Proof*

Since \(\rho _1\) is a rank-subalgebra of \((X,*)\), we have \(\rho _1(x*y)\ge \min \{\rho _1(x), \rho _1(y)\}\) for all \(x, y\in X\). Without loss of generality, we let \(\rho _1(x*y)\ge \rho _1(x)\). Since \(\rho _1|| \rho _2\), we obtain \(\rho _2(x*y)\ge \rho _2(x)\). It follows that \(\rho _1(x*y) + \rho _2(x*y) \ge \rho _1(x) + \rho _2(x)\) and hence \((\rho _1 + \rho _2)(x*y) \ge \min \{ (\rho _1 + \rho _2)(x), (\rho _1 + \rho _2)(y)\}\), proving the proposition. \(\square\)

###
**Corollary 15**

*If*
\(\rho _i\)
*is a rank-co-subalgebra of*
\((X,*)\)
\((i= 1,2)\)
*and if*
\(\rho _1|| \rho _2\), *then*
\(\rho _1 + \rho _2\)
*is also a rank-co-subalgebra of*
\((X,*)\).

###
*Proof*

Similar to Proposition 14. \(\square\)

###
**Proposition 16**

*Let*
\(X:={\mathbf{R}}\)
*be the set of all real numbers. Let*
\(\rho _1, \rho _2\)
*be mappings from*
*X*
*to*
\([0, \infty )\)
*and let*
\(\rho _2(x):=x\)
*for all*
\(x\in X\). *If*
\(\rho _1|| \rho _2\), *then*
\(\rho _1\)
*is strictly increasing.*

###
*Proof*

Assume that there are \(x, y\in X\) such that \(x<y, \rho _1(x) \ge \rho _1(y)\). Since \(\rho _1|| \rho _2\), we obtain \(x=\rho _2(x)\ge \rho _2(y) = y\), a contradiction. \(\square\)

###
**Theorem 17**

*If*
\(\rho _i\)
*is a rank*-*d*-*function of*
\((X,*)\)
\((i= 1,2)\)
*and if*
\(\rho _1|| \rho _2\), *then*
\(\rho _1 + \rho _2\)
*is also a rank*-*d*-*function of*
\((X,*)\).

###
*Proof*

Note that if \(\rho _1|| \rho _2, \rho _2 || \rho _3\), then \(\rho _1 || \rho _2 + \rho _3\), and if \(\rho _1 || \rho _2, \rho _1 || \rho _3\), then \(\rho _1 || \rho _2 + \rho _3\).

## \(\rho\)-Shrinking groupoids

*shrinking*if \(\rho : X\rightarrow [0, \infty )\) is a map satisfying the condition:

###
*Example 18*

Let \(X:=[0, \infty )\) and let \(x*y:= x +y\) for all \(x, y\in X\). If we define \(\rho (x):=x\) for all \(x\in X\), then \(\rho (x*y)\ge \max \{\rho (x), \rho (y)\}\). It follows that \((e^{-\rho })(x*y) = e^{-x}e^{-y}\le \min \{e^{-x}, e^{-y}\}= \min \{ (e^{-\rho })(x),\) \((e^{-\rho })(y)\}\), which shows that \((X,*)\) is \(e^{-\rho }\)-shrinking.

###
**Theorem 19**

*If*
\((X,*)\)
*is both*
\(\rho _1\)-*shrinking and*
\(\rho _2\)-*shrinking and if*
\(\rho _1|| \rho _2\), *then*
\((X,*)\)
*is both*
\((\rho _1 + \rho _2)\)-*shrinking and*
\(\rho _1\,\bullet \,\rho _2\)-*shrinking.*

###
*Proof*

###
**Proposition 20**

*If*
\((X,*)\)
*and*
\((X,\bullet )\)
*are*
\(\rho\)-*shrinking and if*
\((X,\Box ):=(X,*)\,\Box \,(X,\bullet )\), *then*
\((X,\Box )\)
*is also*
\(\rho\)-*shrinking*.

###
*Proof*

Proposition 20 shows that the collection of all \(\rho\)-shrinking groupoids forms a subsemigroup of \((Bin(X), \Box )\).

Given maps \(\rho : X\rightarrow [0, \infty )\) and \(\sigma : Y\rightarrow [0, \infty )\), we define a map \([\rho , \sigma ]: X\times Y\rightarrow [0, \infty )\) by \([\rho , \sigma ](x):= \rho (x) + \sigma (y)\) as a sort of “inner product” ranking. Given groupoids \((X,*)\) and \((Y,\bullet )\), we define a Cartesian product \((X\times Y, \nabla )\) where \((x, y)\nabla (x^{\prime }, y^{\prime }):= (x*x^{\prime }, y\,\bullet \, y^{\prime })\) for all \((x, y), (x^{\prime }, y^{\prime })\in X\times Y\).

###
**Proposition 21**

*If*
\((X,*)\)
*is*
\(\rho\)-*shrinking and*
\((Y,\bullet )\)
*is*
\(\sigma\)-*shrinking, then*
\((X\times Y, \nabla )\)
*is*
\([\rho , \sigma ]\)-*shrinking*.

###
*Proof*

## Conclusions

Above, we introduced four (fuzzy) rank functions in the semigroup of all binary systems (i.e., groupoids), and we investigated their roles related to selective groupoids and the notion of *Bin*(*X*). Using the notion of “right parallelism”, we showed that if \(\rho _i\) is a (fuzzy) rank-subalgebra (resp., (fuzzy) rank-*d*-function) of \((X,*)\) (\(i= 1,2\)) and if \(\rho _1|| \rho _2\), then \(\rho _1 + \rho _2\) is also a (fuzzy) rank-subalgebra (resp., (fuzzy) rank-*d*-function) of \((X,*)\). By introducing the notion of \(\rho\)-shrinking to groupoids, we found that if \((X,*)\) is both \(\rho _1\)-shrinking and \(\rho _2\)-shrinking and if \(\rho _1|| \rho _2\), then it is both \((\rho _1 + \rho _2)\)-shrinking and \(\rho _1\,\bullet \,\rho _2\)-shrinking. This research may provide hyper-fuzzy rank functions in the set of all binary systems naturally, and thus several well-developed theorems/propositions in the areas of soft fuzzy theory and intuitionistic fuzzy set theory can then possibly be applied in future research also.

## Declarations

### Authors' contributions

All authors read and approved the final manuscript.

### Competing interests

The authors declare that they have no competing interests.

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Fayoumi HF (2011) Locally-zero groupoids and the center of \(Bin(X)\). Commun Korean Math Soc 26:163–168MathSciNetView ArticleMATHGoogle Scholar
- Han JS, Kim HS, Neggers J (2012) The hypergroupoid semigroups as generalizations of the groupoid semigroups. J Appl Math 2012:717698MathSciNetMATHGoogle Scholar
- Kim HS, Neggers J (2008) The semigroups of binary systems and some perspectives. Bull Korean Math Soc 45:651–661MathSciNetView ArticleMATHGoogle Scholar
- Mordeson JN, Malik DS (1998) Fuzzy commutative algebra. World Scientific, SingaporeView ArticleMATHGoogle Scholar
- Neggers J (1976) Partially ordered sets and groupoids. Kyungpook Math J 16:7–20MathSciNetMATHGoogle Scholar
- Neggers J, Kim HS (1996) Modular posets and semigroups. Semigroup Forum 53:57–62MathSciNetView ArticleMATHGoogle Scholar
- Rosenfeld A (1971) Fuzzy groups. J Math Anal Appl 35:512–517MathSciNetView ArticleMATHGoogle Scholar
- Zadeh LA (1965) Fuzzy sets. Inf Control 8:338–353MathSciNetView ArticleMATHGoogle Scholar