![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
ABSTRACT
In this research paper, we present the concept of fuzzy ideals and fuzzy filters within bounded semihoops, examining their properties. We derive several characterizations for the smallest fuzzy ideals and filters containing a given fuzzy set. Furthermore, we analyze the properties and characterizations of prime fuzzy ideals, prime fuzzy filters, fuzzy primary ideals, and fuzzy primary filters. Lastly, we explore the fuzzy congruence relation associated with fuzzy (primary) ideals and fuzzy (primary) filters.
1. Introduction
Hoops, introduced by Bosbach (Citation1969, Citation1970), are naturally ordered commutative residuated integral monoids. The class of basic hoop algebras, as established by Aglianó et al. (Citation2007), is a significant development within the realm of algebra. It has been proven that any variety of BL-algebras encompasses the variety of basic hoop algebras. Semihoops, a more general form of hoops, were introduced by Esteva et al. (Citation2003). A semihoop is a type of hoop that does not meet the divisibility requirement. It encompasses all algebraic structures that are induced by left-continuous t-norms, making it significant in fuzzy logics and related algebraic structures. The study of these algebras and the completeness of the correspondence logic system involves the important role of filter and ideal theory. The examination of ideals and filters on semihoops has been extensive, leading to interesting findings in (NiuIdeal et al., Citation2020) and (Borzooei & Aaly Kologani, Citation2015), respectively. Moreover, in these works, the definitions and characterizations of prime, primary, and perfect ideals (and filters) of semihoops were introduced.
The concept of fuzzy subsets, introduced by L. A. Zadeh as an extension of classical set theory in (Zadeh, Citation1965), revolutionized the way we perceive sets. A fuzzy subset of a set is mathematically defined by assigning a value within the unit interval to each element in the universe of discourse, indicating its degree of membership. Fuzzy set theory offers methods to represent imprecision and uncertainty in situations lacking clear boundaries. This mathematical framework enables us to model imprecision and uncertainty inherent in phenomena with vague boundaries. Subsequently, extensive research on fuzzy sets has emerged, with numerous applications across different domains (see (Lu et al., Citation2023)).
Rosenfeld, in his seminal paper (Rosenfeld, Citation1971), has introduced the concept of fuzziness into group theory. This research has inspired scholars to reconsider various abstract algebra concepts and findings within the broader context of a fuzzy environment, providing motivation for further exploration. Recent studies have focused on exploring topics such as fuzzy ideals and fuzzy prime ideals in universal algebras (Alaba & Addis, Citation2019a, Citation2019b), expanding the application of fuzzy concepts. Furthermore, the extension of fuzzy ideals and filters in MS-algebras and distributive lattices has been the subject of investigation in a series of papers (Alaba & Alemayehu, Citation2019a, Citation2019b; Norahun, Citation2020), highlighting the growing interest in this area. Moreover, a fuzzy congruence relation within an algebraic structure is defined as a fuzzy equivalence relation compatible with all basic operations of the algebra. The study of fuzzy congruence relations has been extended to various algebraic structures, demonstrating the broad applicability of this concept. Notably, recent research has focused on this topic in different contexts: in Ockham algebras (see (Alemayehu et al., Citation2021, Citation2022)) and more broadly, in universal algebras (see (Addis, Citation2022)), showing the diverse applications of fuzzy congruence relations.
The study of fuzzification in algebraic structures remains an active field of mathematical research. In the existing literature, researchers have explored different aspects of fuzzy ideals and filters in universal algebras, distributive lattices, and MS-algebras, contributing to the advancement of understanding. The research conducted by these scholars has significantly advanced the understanding and application of fuzzy concepts in different algebraic structures and settings. It has been noted that many fundamental results in conventional algebraic structures also apply to fuzzified algebraic concepts, highlighting the relevance and significance of this research direction. The exploration of fuzzy ideals and fuzzy filters within bounded semihoops is motivated by the desire to extend traditional algebraic concepts into the realm of fuzzy algebra. By investigating these fuzzy structures in the context of bounded semihoops, we aim to enhance our understanding of how imprecision and uncertainty can be effectively modeled within algebraic systems. The concept of fuzzy ideals and fuzzy filters within bounded semihoops is a fascinating area of study in algebra.
Building upon the aforementioned studies, this paper delves into exploring fuzzy ideals and fuzzy filters within a bounded semihoop, examining their properties. Furthermore, it delves into characterizing fuzzy ideals and filters generated by a fuzzy subset. Additionally, it investigates prime fuzzy ideals and filters, fuzzy primary ideals and filters, along with their respective characterizations. Lastly, it explores the concept of fuzzy congruence relations associated with fuzzy (primary) ideals and fuzzy (primary) filters, contributing to the ongoing discourse in this evolving field.
The unit interval [0,1] is recognized for its numerous lattice theoretic and topological properties. Due to this, we opt to use the unit interval [0,1] as the set of truth degrees for our fuzzy statements throughout the paper. The paper is organized as follows. In Section 2, we gather the basic notions and results in fuzzy sets and bounded (semihoops). In Section 3 and Section 4, we introduce the notion of fuzzy ideals (respectively, filters) in bounded semihoop and investigate their properties. Also, characterizations of fuzzy ideals and fuzzy filters generated by a fuzzy subset are discussed. In Section 5, we explore the concept of fuzzy congruence relations associated with fuzzy (primary) ideals and fuzzy (primary) filters.
2. Preliminaries
In this topic, we start with basic definitions and important results in fuzzy set and semihoops which we need in the sequel.
Definition 2.1.
(Esteva et al., Citation2003)
An algebra of type
is called a semihoop if it satisfies the following conditions:
is a
semilattice with greatest element 1,
is a commutative monoid,
, for all
.
By a fuzzy subset ξ of a semihoop H, we mean a mapping . The set
is called the image of ξ, and is denoted by
. For each
, the set
is called the α-level subset of For any fuzzy subset ξ of a semihoop H and each
, we have
For any fuzzy subsets ξ and σ of a semihoop H, we write
in the ordering of . It can be easily verified that
is a partial order on the set
and is called the point wise ordering.
Given a semihoop , the binary relation ≤ on H defined by:
is a partial ordering on H which we call the natural ordering on H and
for all
For any
and
where
is a set of natural number, define a power of s by:
Theorem 2.2.
(Esteva et al., Citation2003)
Let be a semihoop. Then, the following properties are true for any
:
,
if
, then
and
A semihoop H is said to be bounded if there exists such that
. In a bounded semihoop H one can define the negation of each
by
. An element s in a bounded hoop H is defined to be closed if
, and H is said to have the double negation property (or DNP for short) provided that each of its element is closed; i.e.
for all
.
Theorem 2.3.
(Borzooei & Aaly Kologani, Citation2015)
If H is a bounded semihoop, then the following properties hold, for any :
implies
If H has a DNP, then
.
Lemma 2.4.
(NiuIdeal et al., Citation2020)
Let H be a bounded semihoop . Then define a binary operation on H by:
Then the following properties hold for any :
, then
if H has a DNP, then
if H has a DNP, then
.
Note that if H is a bounded semihoop with DNP, then the binary operation is commutative and associative.
Theorem 2.5.
(Borzooei & Aaly Kologani, Citation2015)
Define a binary operation on a semihoop H by:
Then the following conditions are equivalent:
is associative;
for all
for all
is the supremum of s and t with respect to the natural ordering on H.
A semihoop H is called a -semi hoop, if it satisfies one of the equivalent conditions of the above theorem.
Definition 2.6.
(NiuIdeal et al., Citation2020)
Let H be a bounded semihoop. A non-empty subset I of H said to be an ideal of H, if it satisfies:
and
imply
for any
, for any
The set of all ideals of H will be denoted by . If
then the intersection of all ideals of H containing S is denoted by
and is characterized by:
In particular, for any element we have
Definition 2.7.
(NiuIdeal et al., Citation2020)
A proper ideal I of a bounded semihoop H is called a primary ideal, if for all ,
implies either
or
, for some positive integer n.
Definition 2.8.
(NiuIdeal et al., Citation2020)
Let H be a semihoop. A nonempty subset F is called a filter of H, if it satisfies the following conditions:
, for all
for all
and
imply
Theorem 2.9.
(NiuIdeal et al., Citation2020)
A subset F of a semihoop H is said to be a filter of H if and only if the following conditions hold:
;
, for all
.
The set of all filters of H will be denoted by . If
then the intersection of all filters of H containing S is denoted by
and is characterized by:
In particular, for any element we have
.
Theorem 2.10.
(NiuIdeal et al., Citation2020)
A proper filter of K of a bounded semihoop H is called a primary filter, if for all
implies
or
, for some positive integer n .
3. Fuzzy ideals of on a bounded semihoops
In this section, we define fuzzy ideals in a bounded semihoop and investigate some of its properties. Throughout this paper, H stands for a bounded semihoop unless otherwise stated. We begin with the following.
Definition 3.1.
Let H be a bounded semihoop. Then, a fuzzy subset ξ of H is called the fuzzy ideal of ξ, if for all the following holds:
implies
A fuzzy ideal ξ of H is called proper if such that
will represent the class of all fuzzy ideals of H. It is evident that the characteristic functions
and χH of
and H respectively, belongs to
and hence it is nonempty.
Example 3.2.
Let with
, where w and y are incomparable, x and z are incomparable. Define
and
on H as follows:
Theorem 3.3.
A fuzzy subset ξ of H is a fuzzy ideal of H if and only if is an ideal of
for all
.
Proof.
Suppose that ξ is a fuzzy ideal of H and . Then
and so
. Again let
Then
and
This implies that
and hence
. Again let
and
Then
and so
So
is an ideal of H.
Conversely, suppose that is an ideal of
for all
. In particular,
is an ideal. Since
, we have
. Again let
and put
. This implies that
so we have
. Therefore
Again let
such that
Put
Then
Since
is an ideal of H and
we have
Therefore
and so ξ is a fuzzy ideal of
Corollary 3.3.1.
I is an ideal of H if and only if the characteristic function χI of I is a fuzzy ideal of H.
Theorem 3.4.
Let H be a bounded semihoop and ξ be a fuzzy subset of H. Then the following conditions are equivalent:
ξ is a fuzzy ideal of
,
and
for any
,
and
for any
ξ is normalized,
and
for any
.
Proof.
Suppose that ξ is a fuzzy ideal of H. Then, by definition,
Let
Then
and since
we have
and hence
Hence (2) holds.
Suppose that (2) holds. Let
Then since
we have
Hence (3) holds.
Suppose that (3) holds. Then
Again let
such that
. Then
This implies that
and hence
Thus
by
Hence
holds true.
It is clear.
Suppose that (4) holds. Since ξ is normalized, there exists
such that
Now since
we have
Again let
such that
Then
. Now and
Hence (1) holds.
Corollary 3.4.1.
Let ξ is a fuzzy ideal of H and Then
if and only if
Proof.
Suppose that Since
we have
Now, by Theorem 3.4(3),
we have
Conversely, suppose
Since
we have
and hence
Theorem 3.5.
If is a class of fuzzy ideals of H, then
is a fuzzy ideal of H.
From Theorem 3.5, it can be easily observed that the class of all fuzzy ideals of H is closed under arbitrary intersection. It follows from this fact that for any fuzzy subset φ in H, we can find the smallest fuzzy ideal of H containing φ which we call the fuzzy ideal of H generated by φ and will be denoted by
. The following theorems give characterization for
in different context.
In the following theorem, we characterize fuzzy ideals of H generated by a fuzzy subset in terms of ideals generated by its level subset.
Theorem 3.6.
For any fuzzy subset φ in H and any :
Proof.
Let us put ξ to be a fuzzy subset of H given by:
We claim that ξ is the smallest fuzzy ideal of H containing φ. Let us first show that is an
-filter. Clearly
. Let
Then
If we put , then we get
and
So that
. Now it follows from the above equality that;
Let such that
Now
Therefore ξ is a fuzzy ideal of H. It is also clear to see that . Suppose that σ is any other fuzzy ideal of H such that
. Then it is clear that
for all
. Now for any
consider:
Therefore ξ is the smallest fuzzy ideal containing φ, that is, .
Theorem 3.7.
Let S be any subset of H. Then the .
Proof.
Since is an ideal of H, by Corollary 3.3.1, we have
is a fuzzy ideal of H. Again since
, we have
. Let ξ be any fuzzy ideal of H such that
. Now we claim that
. Let
. If
, then
. Let
. Since
, we have
(1-level subset of ξ). This implies that
. Thus
and hence
. Therefore
. So that
for all
Hence the claim holds. Therefore
is the smallest fuzzy ideal of H containing χS and hence
The following is also another algebraic characterization of fuzzy ideals generated by a fuzzy subset of H.
Theorem 3.8.
Let φ be a fuzzy subset of H. Then, the fuzzy subset defined by:
and for t ≠ 0,
is the fuzzy ideal of H generated by φ.
Proof.
Let and put
Then, by Theorem 3.6, it is enough to show that . Let
. Then
for some
such that
. This implies that
for all
and so
. Since
is an ideal, we have
and as
we have
, i.e.
. Hence
and so
. Again let
. Then
. Then
for some
This implies that
. Put
. Then since
, we have
. Thus for each
we get
such that
So
. Hence
. Therefore
.
Definition 3.9.
Let H be a bounded semihoop with DNP. The proper fuzzy ideal λ of H is called a prime fuzzy ideal of H, if for any fuzzy ideals ξ and ν of H,
Lemma 3.10.
Let I be an ideal of H and . Then the fuzzy subset
of H defined by:
for all is a fuzzy ideal of H.
In the following we characterize prime fuzzy ideal of H in terms of prime ideals of H and an element in
Theorem 3.11.
Let H be a bounded -semihoop with DNP, P be an ideal of H and
. Then
is a prime fuzzy ideal of H if and only if P is a prime ideal of
Proof.
Suppose that is a prime fuzzy ideal of H. Now we show that P is a prime ideal of
Since
is proper, we have
. Let R and S be ideals of H such that
. Then
Now since
and
is a prime fuzzy ideal of H, we have either
or
This implies that either
or
Thus P is a prime ideal of H.
Conversely, suppose that P is a prime ideal of H and Clearly,
is a proper fuzzy ideal of H. Now we show that
is prime L-fuzzy prime ideal. Suppose not. Then there exist fuzzy ideals ξ and ν of H such that
Then there exist such that
This implies that and so
and
. Since P is a prime ideal of a bounded
-semihoop with DNP, we have
and so
Now we have
which contradicts our assumption Hence
is a prime fuzzy ideal of H.
Theorem 3.12.
Let ξ be a fuzzy ideal of H, where H is a bounded -semihoop with DNP. Then ξ is a prime fuzzy ideal of H if and only if there exist prime ideal of P of H such that
, where
.
Proof.
Let H be a bounded -semihoop with DNP. Suppose that ξ is a prime fuzzy ideal of H. Since ξ is proper it assumes at least two values. Since
1 is necessarily in
. Suppose that
other than 1. Then there exist
such that
and
. Now we claim that
. Now put
. Consider the fuzzy ideals
and
Now we claim to show that
. For any
, if
, then it is clear that
Let
. Now, in this case, if
, we have
and if , then we have
Therefore in either cases, we have , for all
and so
But as ξ is a prime fuzzy ideal of H, we have
But as , we have
. Therefore
. In particular, since
, we get that
. In similar fashion, we can show that
and hence
. So ξ assumes exactly one value say α other than 1 and hence
.
Again to show P is a prime ideal, let be ideals of H such that
. Then since
and ξ is a prime fuzzy ideal, we have either
This implies that . and hence either P is a prime ideal of H. The converse part of this theorem follows from the Theorem 3.11.
Theorem 3.13.
Let H be H is a bounded -semihoop with DNP. Then if ξ is a prime fuzzyy ideal of H, then
or
for all
.
Proof.
Suppose that ξ is a prime ideal of Then
for some prime ideal P of H and
Let
If
or
, then
and so
. If
and
, then
as a prime ideal and so
. Hence in either cases, we have
or
Theorem 3.14.
Let H be a bounded semihoop and , for any
. If ξ fuzzy primary ideal of H, then
for all
.
Proof.
Suppose that ξ a fuzzy primary ideal of H. Let Then, since
we have
Again since ξ is fuzzy primary ideal, there exists
such that
Since
for all
we get
and
Therefore
.
Definition 3.15.
A proper fuzzy ideal ξ of H. is called a fuzzy primary ideal, if for all :
Example 3.16.
In Example 3.2, λ is a primary fuzzy ideal of H.
Theorem 3.17.
A fuzzy subset ξ of H is a fuzzy primary ideal of H if and only if is a primary ideal of
for all
.
Corollary 3.17.1.
I is a primary ideal of H if and only if χI is a fuzzy primary ideal.
4. Fuzzy filters of bounded semihoops
In this section, we define a fuzzy filter in a bounded Semihoop and investigate some of its properties.
Definition 4.1.
A fuzzy subset ζ of H is called a fuzzy filter of H, if for all
, whenever
will represent the class of all fuzzy filters of H. It is evident that the characteristic functions
and χH of
and H respectively, belongs to
and hence it is nonempty. The set of all filters of H is denoted by
Example 4.2.
Let be a chain. Define binary operations
and
on H by the following tables:
Then is a bounded semihoop, where
for every
. Define a fuzzy subset of ζ on H by:
Then ζ is a fuzzy filter of
Theorem 4.3.
if and only if
for all
.
Corollary 4.3.1.
if and only if
.
Theorem 4.4.
A fuzzy subset ζ of H is a fuzzy filter if and only if it satisfies the following conditions:
for every
.
Proof.
Suppose that ζ is a fuzzy filter of Then, by definition,
Let
Then, since
we have
Conversely suppose that ζ is a fuzzy subset of H satisfying the given condition. Then by (1), Let
Now
Again let such that
Then
. Now
Therefore ζ is a fuzzy filter of
Theorem 4.5.
Let and
Then the following conditions hold:
;
If
, then there exist
such that
Proof.
(1) Let . Then
for some
and so
(2) Let and
, then
such that
and so
Theorem 4.6.
if and only if for any finite subset S of
Proof.
Suppose that and S is a finite subset of
Put
Then
for all
and hence
the α-level subset of ζ. By Theorem 4.3,
is a filter of H containing S. Therefore
and hence
for all
That is,
Conversely suppose that φ satisfies the given conditions. Now, since , by hypothesis, we have
and hence
Let
Put
Then since
we have
and hence
Therefore, by Theorem 4.4, ζ is a fuzzy filter of
Theorem 4.7.
If is a class of fuzzy filters of H, then
is a fuzzy filter of H.
From Theorem 4.7, it can be easily checked that the class of all fuzzy filters of H is closed under arbitrary intersection. It follows from this fact that for any fuzzy subset ζ in H, we can find the smallest fuzzy filter of H containing ζ which we call the fuzzy filter of H generated by ζ and will be denoted by
. It can be easily checked that the class
of all fuzzy filters of H is closed under arbitrary intersection. It follows from this fact that for any fuzzy subset ζ in H, we can find the smallest fuzzy filter of H containing ζ which we call the fuzzy filter of H generated by ζ and will be denoted by
.
Now we give a characterization of any fuzzy filter generated by a fuzzy subset of H in terms of filters generated by its level subset.
Theorem 4.8.
For any fuzzy subset ζ of H, then the fuzzy subset given by:
is a fuzzy filter of H generated by ζ, where is a filter generated by the set
.
Theorem 4.9.
Let B be any subset of H. Then .
In the following we give an algebraic characterization of fuzzy filter of H generated by a fuzzy subset of H.
Theorem 4.10.
Let ζ be a fuzzy subset of H. Then, the fuzzy subset defined by:
and for t ≠ 0,
is the fuzzy filter of H generated by ζ.
Definition 4.11.
Let H be a bounded semihoop with DNP. Then a proper fuzzy filter ζ of H is called a prime fuzzy ideal of H, if for any fuzzy filters
Lemma 4.12.
Let F be a filter of H and . Then the fuzzy subset
of H defined by:
In the following we characterize prime fuzzy filter in a bounded -semihoop with DNP H in terms of prime filters of H and elements in
.
Theorem 4.13.
Let ζ be a fuzzy filter of H, where H is a bounded -semihoop with DNP. Then ζ is a prime fuzzy filter of H if and only if there exist prime filter Q of H such that
, where
.
Theorem 4.14.
Let H be a bounded -semihoop with DNP. Then if ζ is a prime fuzzyy filter of H, then
or
for all
.
Definition 4.15.
Let ζ be a proper fuzzy filter of a semihoop H. ζ is called a fuzzy primary filter, if for every ,
for some positive integer n.
Example 4.16.
In Example 4.2, ζ is a fuzzy primary filter.
Theorem 4.17.
A fuzzy subset ζ of H is a fuzzy primary filters of H if and only if is a primary filter of
for all
.
Theorem 4.18.
Let H be a bounded -semihoop with
and
for every
. If ζ is a fuzzy primary filter of H, then
for all
.
5. Fuzzy congruences relation on semihoops
In this section we define the notion of fuzzy congruence relation in bounded semihoops and study their relation with fuzzy ideals (filters). By a fuzzy relation on H, we mean a fuzzy subset of H × H. For any and a fuzzy relation Φ on H, the set
is called the α-level relation of Φ on H.
Definition 5.1.
A fuzzy relation Φ on H is called a fuzzy equivalence relation on H if
(reflexive),
for all
(symmetric),
for all
(transitive).
Definition 5.2.
Let Then a fuzzy relation Φ on H is said to be compatible, if
Definition 5.3.
A compatible fuzzy equivalence relation on H is called a fuzzy congruence relation on H.
The class of all fuzzy congruence relations on H is denoted by and it is clear that
is a complete lattice. For any
and
, define a fuzzy subset
of H by:
We call a fuzzy congruence class of Φ determined by
Let us put
Define binary operations and
on
by:
Then it is routine to verify that is a bounded semihoop algebra and it is called the quotient bounded semihoop algebra of H modulo Φ.
For any fuzzy subset ξ of H, let us define a fuzzy relation on H as follows:
Theorem 5.4.
If ξ be a fuzzy ideal of H, then the fuzzy relation defined above is a fuzzy congruence relation of H.
Proof.
It is easy to check that is a fuzzy equivalence relation on H. Since
for any
, we have
. Thus, as ξ is a fuzzy ideal, we have
Similarly we have
Similarly, we can show that and
. Therefore,
is a fuzzy congruence of H.
Define a binary operation on
by:
Then it can and it can be easily verified that is a partial order and
is a bounded semihoop.
Theorem 5.5.
A proper fuzzy ideal ξ of H is a fuzzy primary ideal if and only if for any
implies
or
for some
Proof.
Suppose that ξ is a fuzzy primary ideal of H and . Then
This implies that
That is,
Thus, by Corollary 3.4.1, we have
Thus since
we have
or
Then, by Corollary 3.4.1, we have
or
If
, then
and hence
Again since
we have
Thus if
, we get
If
, by similar way we can show that
Conversely suppose that ξ is a proper fuzzy ideal satisfying the given condition. Let for some
Then, by Corollary 3.4.1, we have
Now, since
, we have
Again, since
, we have
. Thus
Thus, by hypothesis, there exists
such that
or
If
then
By similar way, we can prove that
Therefore, in any case, we have
. Therefore, ξ is a fuzzy primary ideal.
Now we discuss fuzzy congruence relation related to fuzzy (primary) filters. Let ζ is a fuzzy filter of a semihoop We define a fuzzy binary relation
on H by:
Then is a fuzzy congruence relation on
Let where
is a fuzzy subset of H defined by :
Then the binary relation ”≤” on
which is defined by:
is an order relation on Now,
is a semihoop, where for any
Theorem 5.6.
Let ζ be a proper fuzzy filter of H. Then ζ is a fuzzy primary filter if and only if implies that there exists a natural number n such that
or
, for every
.
Proof.
Suppose that ζ is a fuzzy primary filter of a semihoop H and . Then
This implies that
That is,
Thus, as ζ is a fuzzy primary filter, we have
for some positive integer
If
, then
and hence
Again since
we have
. Therefore
By similar way, if
we have,
Conversely suppose that ζ is a proper fuzzy filter satisfying the given condition. Let for some
Then
and hence
Again, since
, we have
. Thus
Thus, by hypothesis, there exists
such that
or
If
then
and so
By similar way, we can prove that if
then
Therefore, in any case, we have
. Therefore ζ is a fuzzy primary filter.
Conclusions and discussion
In this study, we have explored the concept of fuzzy ideals and fuzzy filters within a bounded semihoop, delving into their properties and characteristics. Additionally, we have examined various characterizations of fuzzy ideals and filters derived from a given fuzzy subset. Our investigation also encompassed prime fuzzy ideals, fuzzy primary ideals, prime fuzzy filters, fuzzy primary filters, along with their respective characterizations. Furthermore, we have delved into the fuzzy congruence relation in connection to fuzzy (primary) ideals and filters. These findings not only enrich the field of fuzzy set theory but also offer valuable insights into the broader exploration of bounded semihoops and their associated structures. Looking ahead, we plan to delve into the study of soft semihoops and their corresponding structures in future research endeavors.
The study of fuzzy ideals and filters in bounded semihoops offers a unique opportunity to bridge the gap between crisp mathematical structures and fuzzy logic. By delving into the properties, characterizations, and relationships of these fuzzy constructs, we can gain insights into how they interact within the framework of bounded semihoops.
Disclosure statement
No potential conflict of interest was reported by the author(s).
References
- Addis, G. M. (2022). L-fuzzy congruence classes in universal algebras. International Journal of Intelligent Systems, 37(1), 386–423. https://doi.org/10.1002/int.22631
- Aglianó, P., Ferreirim, I. M. A., & Montagna, F. (2007). Basic hoops: An algebraic study of continuous t-norm. Studia Logica, 87(1), 73–98. https://doi.org/10.1007/s11225-007-9078-1
- Alaba, B. A., & Addis, G. M. (2019a). L-fuzzy ideals in universal algebras. Annals of Fuzzy Mathematics and Informatics, 17(1), 31–39. https://doi.org/10.30948/afmi.2019.17.1.31
- Alaba, B. A., & Addis, G. M. (2019b). L-fuzzy prime ideals in universal algebras. Advances in Fuzzy Systems, 2019, 1–7. https://doi.org/10.1155/2019/5925036
- Alaba, B. A., & Alemayehu, T. G. (2019a). e-fuzzy filters of MS-algebras. Korean Journal of Mathematics, 27, 1159–1180. https://doi.org/10.11568/kjm.2019.27.4.1159
- Alaba, B. A., & Alemayehu, T. G. (2019b). β-fuzzy filters of MS-algebras. Korean Journal of Mathematics, 27, 595–612. https://doi.org/10.11568/kjm.2019.27.3.595
- Alemayehu, T. G., Engidaw, D. A., & Addis, G. M. (2021). L-Fuzzy congruences and L-fuzzy kernel ideals in Ockham algebras. Journal of Mathematics, 2021, Article ID 6644443, 1–12. https://doi.org/10.1155/2021/6644443
- Alemayehu, T. G., Engidaw, D. A., & Addis, G. M. (2022). Kernel L-ideals and L-congruence on a subclass of Ockham Algebras. Journal of Mathematics, 2022, Article ID 7668044, 9. https://doi.org/10.1155/2022/7668044
- Borzooei, R. A., & Aaly Kologani, M. (2015). Local and perfect semihoops. Journal of Intelligent and Fuzzy Systems, 29(1), 223–234. https://doi.org/10.3233/IFS-151589
- Bosbach, B. (1969). Komplementäre Halbgruppen. Axiomatik und Arithmetik. Fundamenta Mathematicae, 64(3), 257–720. https://doi.org/10.4064/fm-64-3-257-287
- Bosbach, B. (1970). Komplementäre Halbgruppen Kongruenzen und Quotienten. Fundamenta Mathematicae, 69(1), 1–14. https://doi.org/10.4064/fm-69-1-1-14
- Esteva, F., Godo, L., Hájek, P., & Montagan, F. (2003). Hoops and fuzzy logic. Journal of Logic and Computation, 13(4), 532–555. https://doi.org/10.1093/logcom/13.4.532
- Lu, J., Zhu, L., & Gao, W. (2023). Remarks on bipolar cubic fuzzy graphs and its chemical applications. International Journal of Mathematics and Computer in Engineering, 1(1), 1–10. https://doi.org/10.2478/ijmce-2023-0001
- NiuIdeal, H. L., Xing, X. L., & Wang, J. T. (2020). Ideal theory on bounded semihoops. Italian Journal of Pure and Applied Mathematics- N, 44, 911–925.
- Norahun, W. Z. (2020). µ-Fuzzy filters in distributive lattices. Advances in Fuzzy Systems, 2020, Article ID 8841670, 9. https://doi.org/10.1155/2020/8841670
- Rosenfeld, A. (1971). Fuzzy groups. Journal of Mathematical Analysis and Applications, 35(3), 512–517. https://doi.org/10.1016/0022-247X(71)90199-5
- Zadeh, L. A. (1965). Fuzzy sets. Information & Control, 8(3), 338–353. https://doi.org/10.1016/S0019-9958(65)90241-X