Imploring interior GE-filters in GE-algebras

1.   Introduction

Henkin and Skolem introduced Hilbert algebras in the fifties for investigations in intuitionistic and other non-classical logics. Diego ^[5] proved that Hilbert algebras form a variety which is locally finite. Bandaru et al. introduced the notion of GE-algebras which is a generalization of Hilbert algebras, and investigated several properties (see ^[1,2,3,8,9]). The notion of interior operator is introduced by Vorster ^[13] in an arbitrary category, and it is used in ^[4] to study the notions of connectedness and disconnectedness in topology. Interior algebras are a certain type of algebraic structure that encodes the idea of the topological interior of a set, and are a generalization of topological spaces defined by means of topological interior operators. Rachůnek and Svoboda ^[7] studied interior operators on bounded residuated lattices, and Svrcek ^[12] studied multiplicative interior operators on GMV-algebras. Lee et al. ^[6] applied the interior operator theory to GE-algebras, and they introduced the concepts of (commutative, transitive, left exchangeable, belligerent, antisymmetric) interior GE-algebras and bordered interior GE-algebras, and investigated their relations and properties. Later, Song et al. ^[10,11] introduced the notions of an interior GE-filter, a weak interior GE-filter, a belligerent interior GE-filter, prominent interior GE-filter and investigate their relations and properties. They provided relations between a belligerent interior GE-filter and an interior GE-filter and conditions for an interior GE-filter to be a belligerent interior GE-filter is considered. Also, they provided relations between a prominent interior GE-filter and an interior GE-filter and conditions for an interior GE-filter to be a prominent interior GE-filter is considered. Given a subset and an element, they established an interior GE-filter, and they considered conditions for a subset to be a belligerent interior GE-filter. They studied the extensibility of the belligerent interior GE-filter and established relationships between weak interior GE-filter and belligerent interior GE-filter of type 1–type 3. Also, they introduced the concept of a prominent interior GE-filter of type 1 and type 2, and investigate their properties. They studied the relationship between a prominent interior GE-filter and a prominent interior GE-filter of type 1.

In this manuscript, we introduce the concept of an imploring interior GE-filter, and investigate their properties. We discuss the relationship between an interior GE-filter and an imploring interior GE-filter. We provide conditions for an interior GE-filter to be an imploring interior GE-filter and give examples to show that an imploring interior GE-filter is independent to a belligerent interior GE-filter. We provide conditions for an imploring interior GE-filter to be a belligerent interior GE-filter. We discuss the relationship between imploring interior GE-filter and prominent interior GE-filter and give example to show that any imploring interior GE-filter is not a prominent interior GE-filter. We provide conditions for an imploring interior GE-filter to be a prominent interior GE-filter. Also, we consider conditions under which an interior GE-filter larger than a given interior GE-filter to become an imploring interior GE-filter.

2.   Preliminaries

2.1.   Default background for GE-algebras

Definition 2.1 (^[1]). By a GE-algebra we mean a non-empty set ${X}$ with a constant ${1}$ and a binary operation ${*}$ satisfying the following axioms:

(GE1) ${\tilde{x}}{*} {\tilde{x}} = {1}$,

(GE2) ${1}{*}{\tilde{x}} = {\tilde{x}}$,

(GE3) ${\tilde{x}}{*} ({\tilde{y}}{*} {\tilde{z}}) = {\tilde{x}}{*} ({\tilde{y}}{*} ({\tilde{x}}{*} {\tilde{z}}))$,

for all ${\tilde{x}}, {\tilde{y}}, {\tilde{z}}\in {X}$.

In a GE-algebra ${X}$, a binary relation "$\le$" is defined by

Definition 2.2 (^[1,2]). A GE-algebra ${X}$ is said to be

$\bullet$ transitive if it satisfies:

$\bullet$ belligerent if it satisfies:

Proposition 2.3 (^[1]). Every GE-algebra ${X}$ satisfies the following items.

If ${X}$ is transitive, then

Lemma 2.4 (^[1]). A GE-algebra ${X}$ is transitive if and only if ${X}$ satisfies the condition (2.13).

Definition 2.5 (^[1]). A subset ${F}$ of a GE-algebra ${X}$ is called a GE-filter of ${X}$ if it satisfies:

Lemma 2.6 (^[1]). In a GE-algebra ${X}$, every GE-filter ${F}$ of ${X}$ satisfies:

Definition 2.7 (^[2,8,9]). A subset ${F}$ of a GE-algebra ${X}$ containing the constant ${1}$ is called:

$\bullet$ A belligerent GE-filter of ${X}$ if it satisfies

$\bullet$ A prominent GE-filter of ${X}$ if it satisfies

$\bullet$ An imploring GE-filter of ${X}$ if it satisfies

Lemma 2.8 (^[8]). Let ${F}$ be a GE-filter of a GE-algebra ${X}$. Then ${F}$ is a prominent GE-filter of ${X}$ if and only if it satisfies:

2.2.   Default background for interior GE-algebras

Definition 2.9 (^[6]). By an interior GE-algebra we mean a pair $({X}, \xi)$ in which ${X}$ is a GE-algebra and $\xi :{X} \rightarrow {X}$ is a mapping such that

Definition 2.10 (^[6]). An interior GE-algebra $({X}, \xi)$ is said to be

$\bullet$ transitive if it satisfies:

$\bullet$ belligerent if it satisfies:

Definition 2.11 (^[11]). Let $({X}, \xi)$ be an interior GE-algebra. A GE-filter ${F}$ of ${X}$ is said to be interior if it satisfies:

Definition 2.12 (^[11]). Let $({X}, \xi)$ be an interior GE-algebra. Then a subset ${F}$ of ${X}$ is called a belligerent interior GE-filter in $({X}, \xi)$ if ${F}$ is a belligerent GE-filter of ${X}$ which satisfies the condition (2.27).

Definition 2.13 (^[10]). Let $({X}, \xi)$ be an interior GE-algebra. Then a subset ${F}$ of ${X}$ is called a prominent interior GE-filter in $({X}, \xi)$ if ${F}$ is a prominent GE-filter of ${X}$ which satisfies the condition (2.27).

3.   Imploring interior GE-filters

Definition 3.1. An interior GE-algebra $({X}, \xi)$ is said to be pre-transitive (resp., pre-belligerent, if ${X}$ itself is transitive (resp., belligerent).

It is clear that every pre-transitive (resp., pre-belligerent) interior GE-algebra is a transitive (resp., belligerent) interior GE-algebra, but the converse is not true (see ^[6]).

In what follows, let $({X}, \xi)$ denote an interior GE-algebra unless otherwise specified.

Definition 3.2. A subset ${F}$ of ${X}$ in $({X}, \xi)$ is called an imploring interior GE-filter in $({X}, \xi)$ if ${F}$ contains the constant "${1}$" and satisfies (2.20) and (2.27).

Example 3.3. Consider a set ${X} = \{{1}, {a}, {b}, {c}, {d}\}$ with the binary operation ${*}$ given as follows:

If we define a mapping $\xi$ on ${X}$ as follows:

then $({X}, \xi)$ is an interior GE-algebra and ${F} : = \{{1}, {a}, {b}\}$ is an imploring interior GE-filter in in $({X}, \xi)$.

We first discuss the relationship between interior GE-filter and imploring interior GE-filter.

Theorem 3.4. Every imploring interior GE-filter is an interior GE-filter.

Proof. Let ${F}$ be an imploring interior GE-filter in $({X}, \xi)$. Then ${1} \in {F}$ and (2.27) is clearly true. Let $x, y\in {X}$ be such that $x{*} y\in {F}$ and $x\in {F}$. The combination of (GE1) and (GE2) leads to

It follows from (2.20) that $y\in {F}$. Hence ${F}$ is an interior GE-filter in $({X}, \xi)$.

The following example shows that the converse of Theorem 3.4 is not true.

Example 3.5. Let ${X} = \{{1}, {a}, {b}, {c}, {d}\}$ and consider a binary operation ${*}$ and a mapping $\xi$ on ${X}$ given as follows:

and

Then $({X}, \xi)$ is an interior GE-algebra and the set ${F} : = \{{1}, {a}, {b}\}$ is an interior GE-filter in $({X}, \xi)$. But it is not imploring interior GE-filter in $({X}, \xi)$ since

and ${1}\in {F}$ but ${c}\notin {F}$.

We find and present the conditions under which interior GE-filter becomes imploring interior GE-filter.

Theorem 3.6. Given an interior GE-filter ${F}$ in $({X}, \xi)$, the following arguments are equivalent.

$\rm (i)$ ${F}$ is an imploring interior GE-filter in $({X}, \xi)$. $\rm (ii)$ ${F}$ satisfies:

Proof. Assume that ${F}$ is an imploring interior GE-filter in $({X}, \xi)$ and let $x, y\in {X}$ be such that $\xi((x{*} y){*} x)\in {F}$. Then

by (GE2) and (2.27). It follows from (2.20) that $x\in {F}$.

Conversely, let ${F}$ be an interior GE-filter in $({X}, \xi)$ which satisfies the condition (3.1). It is clear that ${F}$ contains the constant ${1}$ and satisfies the condition (2.27). Let $x, y, z\in {X}$ be such that $x{*} ((y{*} z){*} y)\in {F}$ and $x\in {F}$. Then $(y{*} z){*} y\in {F}$ by (2.16), and so $(y{*} z){*} y\le \xi((y{*} z){*} y)$ by (2.22). Hence $\xi((y{*} z){*} y)\in {F}$ since ${F}$ is a GE-filter of ${X}$. Thus $y\in {F}$ by (2.27). Therefore ${F}$ is an imploring interior GE-filter in $({X}, \xi)$.

Given a subset ${F}$ of ${X}$ in $({X}, \xi)$, consider the following argument.

The following example shows that (imploring) interior GE-filter ${F}$ in $({X}, \xi)$ does not satisfy the argument (3.2).

Example 3.7. (1) If we consider the interior GE-algebra $({X}, \xi)$ in Example 3.5, then the set ${F} : = \{{1}, {a}, {b}\}$ is an interior GE-filter in $({X}, \xi)$. But it does not satisfy the argument (3.2) since $\xi(({c}{*} {d}){*} {d}) = \xi({d}{*} {d}) = \xi({1}) = {1}\in {F}$ but $({d}{*} {c}){*} {c} = {1} {*} {c} = {c}\notin {F}$.

(2) Let ${X} = \{{1}, {a}, {b}, {c}, {d}, {e}\}$ and define binary operation ${*}$ as follows:

If we define a mapping $\xi$ on ${X}$ as follows:

then $({X}, \xi)$ is an interior GE-algebra and the set ${F} : = \{{1}, {a}, {b}\}$ is an imploring interior GE-filter in $({X}, \xi)$. But it does not satisfy the argument (3.2) since $\xi(({c}{*} {d}){*} {d}) = \xi({e}{*} {d}) = \xi({1}) = {1}\in {F}$ but $({d}{*} {c}){*} {c} = {1} {*} {c} = {c}\notin {F}$.

We explore conditions under which imploring interior GE-filter can satisfy the argument (3.2).

Proposition 3.8. If $({X}, \xi)$ is a pre-transitive interior GE-algebra, then every imploring interior GE-filter ${F}$ satisfies the argument (3.2).

Proof. Let ${F}$ be an imploring interior GE-filter in a pre-transitive interior GE-algebra $({X}, \xi)$. Then ${F}$ is an interior GE-filter in $({X}, \xi)$ by Theorem 3.4. Let $x, y\in {X}$ be such that $\xi((x{*} y){*} y)\in {F}$. Then $(x{*} y){*} y\in {F}$ by (2.27). Since $x\le (y{*} x){*} x$ by (2.9), it follows from (2.12) that $((y{*} x){*} x){*} y\le x{*} y$. Hence

by (2.7), (2.12) and (2.13). Using (GE2) and Lemma 2.6 derive

which implies from (2.20) that $(y{*} x){*} x\in {F}$.

Corollary 3.9. If $({X}, \xi)$ is a pre-belligerent interior GE-algebra, then every imploring interior GE-filter ${F}$ satisfies the argument (3.2).

Question. If $({X}, \xi)$ is a pre-transitive interior GE-algebra, then

1. is any interior GE-filter an imploring interior GE-filter?

2. does any interior GE-filter ${F}$ satisfy the argument (3.2)?

The following example provides a negative answer to the above Question.

Example 3.10. Let ${X} = \{{1}, {a}, {b}, {c}, {d}\}$ and define binary operation ${*}$ as follows:

If we define a mapping $\xi$ on ${X}$ as follows:

then $({X}, \xi)$ is a pre-transitive interior GE-algebra. It is routine to verify that the set ${F} : = \{{1}, {a}, {b}\}$ is an interior GE-filter in $({X}, \xi)$. But it is not an imploring interior GE-filter in $({X}, \xi)$ since ${1} {*} (({c} {*} {d}) {*} {c}) = {1} {*} ({d} {*} {c}) = {1} {*} {1} = {1}\in {F}$ and ${1}\in {F}$ but ${c}\notin {F}$. Also, it does not satisfy (3.2) since $\xi(({c} {*} {d}) {*} {d}) = \xi({d} {*} {d}) = \xi({1}) = {1}\in {F}$ but $({d} {*} {c}) {*} {c} = {1} {*} {c} = {c} \notin {F}$.

We consider conditions for an interior GE-filter to be an imploring interior GE-filter.

Theorem 3.11. Let ${F}$ be an interior GE-filter in a pre-transitive interior GE-algebra $({X}, \xi)$. If ${F}$ satisfies the argument (3.2), then it is an imploring interior GE-filter in $({X}, \xi)$.

Proof. Assume that ${F}$ is an interior GE-filter in a pre-transitive interior GE-algebra $({X}, \xi)$ which satisfies the argument (3.2). Let $x, y\in {X}$ be such that $\xi((x{*} y){*} x)\in {F}$. Since the combination of (2.5), (2.10) and (2.12) induces

we get $\xi((x{*} y){*} y)\in {F}$ by (2.24) and Lemma 2.6. Hence $(y{*} x){*} x\in {F}$ by (3.2). Combining (2.6) and (2.12), we get $(x{*} y){*} x\le y{*} x$, and so $\xi((x{*} y){*} x)\le \xi(y{*} x)$ by (2.24). Since $\xi((x{*} y){*} x)\in {F}$, we obtain $\xi(y{*} x)\in {F}$ by Lemma 2.6. If follows from (2.27) that $y {*} x \in {F}$. Since $(y{*} x){*} x\in {F}$, we have $x\in {F}$ by (2.16). Therefore ${F}$ is an imploring interior GE-filter in $({X}, \xi)$ by Theorem 3.6.

Corollary 3.12. Let ${F}$ be an interior GE-filter in a pre-belligerent interior GE-algebra $({X}, \xi)$. If ${F}$ satisfies the the argument (3.2), then it is an imploring interior GE-filter in $({X}, \xi)$.

In the following example, we can confirm that an imploring interior GE-filter is independent to a belligerent interior GE-filter.

Example 3.13. (1) Let ${X} = \{{1}, {a}, {b}, {c}, {d}, {e}\}$ and define binary operation ${*}$ as follows:

If we define a mapping $\xi$ on ${X}$ as follows:

then $({X}, \xi)$ is an interior GE-algebra which is not pre-transitive since

We can observe that the set ${F} : = \{{1}, {a}, {b}\}$ is an imploring interior GE-filter in $({X}, \xi)$. But ${F}$ can not be a belligerent interior GE-filter in $({X}, \xi)$ because ${d}{*} ({e}{*} {c}) = {d} {*} {1} = {1}\in {F}$ and ${d} {*} {e} = {1} \in {F}$ but ${d}{*} {c} = {c}\notin {F}$.

(2) Let ${X} = \{{1}, {a}, {b}, {c}, {d}\}$ and define binary operation ${*}$ as follows:

If we define a mapping $\xi$ on ${X}$ as follows:

then $({X}, \xi)$ is an interior GE-algebra which is not pre-transitive since

Let ${F} = \{{1}, {a}, {b}\}$. Then we can observe that ${F}$ is a belligerent interior GE-filter in $({X}, \xi)$. But ${F}$ is not imploring interior GE-filter in $({X}, \xi)$ since ${1}{*} (({c}{*} {d}) {*} {c}) = {1} {*} ({d} {*} {c}) = {1} {*} {1} = {1}\in {F}$ and ${1} \in {F}$ but ${c}\notin {F}$.

We explore the conditions under which imploring interior GE-filter becomes belligerent interior GE-filter.

Lemma 3.14. Let $({X}, \xi)$ be a pre-transitive interior GE-algebra. Then every interior GE-filter is a belligerent interior GE-filter.

Proof. Let ${F}$ be an interior GE-filter in $({X}, \xi)$. Clearly the argument (2.27) is valid and ${F}$ contains the constant ${1}$. Let $x, y, z\in {X}$ be such that $x{*} (y{*} z)\in {F}$ and $x{*} y\in {F}$. By (2.7), (2.12) and (2.5), we have

Since ${F}$ is a GE-filter of ${X}$ and $x{*} (y{*} z)\in {F}$, we get $(x{*} y){*} (x{*} z)\in {F}$. Hence $x{*} z\in {F}$ by Lemma 2.6. Therefore ${F}$ is a belligerent interior GE-filter in $({X}, \xi)$.

Corollary 3.15. In a pre-transitive interior GE-algebra, every imploring interior GE-filter is a belligerent interior GE-filter.

Corollary 3.16. In a pre-belligerent interior GE-algebra, every imploring interior GE-filter is a belligerent interior GE-filter.

The following example shows that the converse of Corollary 3.15 and Corollary 3.16 is not true in general.

Example 3.17. (1) Consider the pre-transitive interior GE-algebra $({X}, \xi)$ which is described in Example 3.10. As

it is not pre-belligerent. Then we can observe that ${F} : = \{{1}, {a}, {b}\}$ is a belligerent interior GE-filter in $({X}, \xi)$. But ${F}$ is not imploring interior GE-filter in $({X}, \xi)$ since ${1} {*} (({c} {*} {d}) {*} {c}) = {1} {*} ({d} {*} {c}) = {1} {*} {1} = {1}\in {F}$ and ${1}\in {F}$ but ${c}\notin {F}$.

(2) Let ${X} = \{{1}, {a}, {b}, {c}, {d}\}$ and define binary operation ${*}$ as follows:

If we define a mapping $\xi$ on ${X}$ as follows:

then $({X}, \xi)$ is a pre-belligerent interior GE-algebra. Let ${F} = \{{1}, {a}, {b}\}$. Then we can observe that ${F}$ is a belligerent interior GE-filter in $({X}, \xi)$. But ${F}$ is not imploring interior GE-filter in $({X}, \xi)$ since ${1} {*} (({c} {*} {d}) {*} {c}) = {1} {*} ({d} {*} {c}) = {1} {*} {1} = {1}\in {F}$ and ${1}\in {F}$ but ${c}\notin {F}$.

We establish a relationship between imploring interior GE-filter and prominent interior GE-filter.

Theorem 3.18. In a GE-algebra, every prominent interior GE-filter is an imploring interior GE-filter.

Proof. Let ${F}$ be a prominent interior GE-filter in $({X}, \xi)$. Then it is an interior GE-filter in $({X}, \xi)$ (see Theorem 3.4 in ^[10]), and so ${1} \in {F}$ and ${F}$ satisfies (2.27). Let $x, y, z\in {X}$ be such that $x{*} ((y{*} z){*} y)\in {F}$ and $x\in {F}$. Since ${F}$ is a GE-filter of ${X}$, we have $(y{*} z){*} y\in {F}$. Since ${F}$ is a prominent GE-filter of ${X}$, it follows from (GE1), (GE2), (2.5) and Lemma 2.8 that

Therefore ${F}$ is an imploring interior GE-filter in $({X}, \xi)$.

The converse of Theorem 3.18 is not true as seen in the following example.

Example 3.19. Consider the interior GE-algebra $({X}, \xi)$ in Example 3.7(2). It is not pre-transitive because

Let ${F} : = \{{1}, {a}, {b}\}$. Then we can observe that ${F}$ is an imploring interior GE-filter in $({X}, \xi)$. But ${F}$ is not a prominent interior GE-filter in $({X}, \xi)$ since ${1}{*} ({d}{*} {c}) = {1} {*} {1} = {1}\in {F}$ and ${1} \in {F}$ but $(({c}{*} {d}){*} {d}) {*} {c} = ({e}{*} {d}) {*} {c} = {1} {*} {c} = {c} \notin {F}$.

The combination of Theorem 3.18 and Corollary 3.15 induces the next corollary.

Corollary 3.20. In a pre-transitive GE-algebra, every prominent interior GE-filter is a belligerent interior GE-filter.

Consider the pre-transitive interior GE-algebra $({X}, \xi)$ which is described in Example 3.10. As

it is not pre-belligerent. Then we can observe that ${F} : = \{{1}, {a}, {b}\}$ is a belligerent interior GE-filter in $({X}, \xi)$. But ${F}$ is not a prominent interior GE-filter in $({X}, \xi)$ since ${1} {*} ({d} {*} {c}) = {1} {*} {1} = {1}\in {F}$ and ${1}\in {F}$ but $(({c} {*} {d}) {*} {d}) {*} {c} = ({d} {*} {d}){*} {c} = {1} {*} {c} = {c}\notin {F}$. Hence we know that the converse of Corollary 3.20 is not true in general.

We can strengthen the conditions of interior GE-algebra so that imploring interior GE-filter becomes prominent interior GE-filter.

Theorem 3.21. If $({X}, \xi)$ is a pre-transitive interior GE-algebra, then every imploring interior GE-filter is a prominent interior GE-filter.

Proof. Let ${F}$ be an imploring interior GE-filter in a pre-transitive interior GE-algebra $({X}, \xi)$. Then ${F}$ satisfies (2.27) and it is an interior GE-filter in $({X}, \xi)$ (see Theorem 3.4), and so ${F}$ is a GE-filter of ${X}$. Let $x, y \in {X}$ be such that $x{*} y\in {F}$. Note that $y\le ((y{*} x){*} x){*} y$ by (2.6), and thus $(((y{*} x){*} x){*} y){*} x\le y{*} x$ by (2.12). It follows from (2.2), (2.7) and (2.12) that

Hence $((((y{*} x){*} x){*} y){*} x){*} (((y{*} x){*} x){*} y)\in {F}$ by Lemma 2.6, and so

by (GE2). Since ${1}\in {F}$, we have $((y{*} x){*} x){*} y\in {F}$ by (2.20). This shows that ${F}$ is a prominent GE-filter of ${X}$ by Lemma 2.8, and therefore ${F}$ is a prominent interior GE-filter in $({X}, \xi)$.

Corollary 3.22. If $({X}, \xi)$ is a pre-belligerent interior GE-algebra, then every imploring interior GE-filter is a prominent interior GE-filter.

The following example shows that prominent interior GE-filter and belligerent interior GE-filter are independent of each other.

Example 3.23. (1) Let ${X} = \{{1}, {a}, {b}, {c}, {d}, {e}\}$ and define binary operation ${*}$ as follows:

If we define a mapping $\xi$ on ${X}$ as follows:

then $({X}, \xi)$ is an interior GE-algebra. We can observe that the set ${F} : = \{{1}, {a}, {b}\}$ is a prominent interior GE-filter in $({X}, \xi)$. But it is not a belligerent interior GE-filter in $({X}, \xi)$ because of ${d}{*} ({e}{*} {c}) = {d} {*} {1} = {1}\in {F}$ and ${d} {*} {e} = {1} \in {F}$ but ${d}{*} {c} = {c}\notin {F}$.

(2) In Example 3.13(2), we can observe that ${F} : = \{{1}, {a}, {b}\}$ is a belligerent interior GE-filter in $({X}, \xi)$. But it is not a prominent interior GE-filter in $({X}, \xi)$ since ${1} {*} ({d} {*} {c}) = {1} {*} {1} = {1}\in{F}$ and ${1}\in {F}$ but $(({c} {*} {d}) {*} {d}) {*} {c} = ({d} {*} {d}) {*} {c} = {1} {*} {c} = {c} \notin {F}$.

We build the extension property of imploring interior GE-filter.

Lemma 3.24. In a pre-transitive interior GE-algebra $({X}, \xi)$, every interior GE-filter ${F}$ satisfies:

Proof. Let $x, y, z\in {X}$ be such that $\xi(x{*} (y{*} z))\in {F}$. Since

we get $\xi(x{*} (y{*} z))\le \xi((x{*} y){*} (x{*} z))$ by (2.24). It follows from Lemma 2.6 and (2.27) that $(x{*} y){*} (x{*} z)\in {F}$.

Theorem 3.25. Let ${F}$ and ${G}$ be interior GE-filters in a pre-transitive interior GE-algebra $({X}, \xi)$. If ${F}$ is contained in ${G}$ and ${F}$ is an imploring interior GE-filter in $({X}, \xi)$, then ${G}$ is also an imploring interior GE-filter in $({X}, \xi)$.

Proof. Assume that ${F} \subseteq {G}$ and ${F}$ is an imploring interior GE-filter in $({X}, \xi)$. Let $x, y\in {X}$ be such that $\xi((x{*} y){*} y)\in {G}$. Then $(x{*} y){*} y\in {G}$ by (2.27). Since $\xi(((x{*} y){*} y){*} ((x{*} y){*} y)) = \xi({1}) = {1} \in {F}$, It follows from Lemma 3.24 that $(((x{*} y){*} y){*} (x{*} y)){*} (((x{*} y){*} y){*} y)\in {F}$. Using (2.7) and (2.12), we have

Hence $(x{*} (((x{*} y){*} y){*} y)){*} (((x{*} y){*} y){*} y)\in {F}$ by Lemma 2.6, and so

by (2.22) and Lemma 2.6. Since ${F}$ is an imploring interior GE-filter in $({X}, \xi)$, we have

by Proposition 3.8. Note that

It follows from Lemma 2.6 that

Thus $(y{*} x){*} x\in {G}$, and consequently ${G}$ is an imploring interior GE-filter in $({X}, \xi)$ by Theorem 3.11.

Corollary 3.26. Let ${F}$ and ${G}$ be interior GE-filters in a pre-belligerent interior GE-algebra $({X}, \xi)$. If ${F}$ is contained in ${G}$ and ${F}$ is an imploring interior GE-filter in $({X}, \xi)$, then ${G}$ is also an imploring interior GE-filter in $({X}, \xi)$.

4.   Conclusions

We have introduced the concept of an imploring interior GE-filter and investigated their properties. We have discussed the relationship between an interior GE-filter and an imploring interior GE-filter. We have given an example to show that any interior GE-filter is not an imploring interior GE-filter. We have given conditions for an interior GE-filter to be an imploring interior GE-filter. We have provided examples to show that an imploring interior GE-filter is independent to a belligerent interior GE-filter. Conditions for an imploring interior GE-filter to be a belligerent interior GE-filter are given. We have discussed the relationship between imploring interior GE-filter and prominent interior GE-filter. We have provided an example to show that any imploring interior GE-filter is not a prominent interior GE-filter. Conditions for an imploring interior GE-filter to be a prominent interior GE-filter are given. Also, we have considered the conditions under which an interior GE-filter larger than a given interior GE-filter can become an imploring interior GE-filter. In future, we will study the prime and maximal imploring interior GE-filters and their topological properties. Moreover, based on the ideas and results obtained in this paper, we will study the interior operator theory in related algebraic systems such as MV-algebra, BL-algebra, EQ-algebra, etc. It will also be used for pseudo algebra systems and further to conduct research related to the very true operator theory.

Acknowledgments

The authors wish to thank the anonymous reviewers for their valuable suggestions.

Conflict of interest

All authors declare no conflicts of interest in this paper.