MADM Based on Generalized Interval Neutrosophic Schweizer-Sklar Prioritized Aggregation Operators

Abstract

The interval neutrosophic set (INS) can make it easier to articulate incomplete, indeterminate, and inconsistent information, and the Schweizer-Sklar (Sh-Sk) t-norm (tm) and t-conorm (tcm) can make the information aggregation process more flexible due to a variable parameter. To take full advantage of INS and Sh-Sk operations, in this article, we expanded the Sh-Sk and to IN numbers (INNs) in which the variable parameter takes values from $\left[\infty -,0\right)$, develop the Sh-Sk operational laws for INNs and discussed its desirable properties. After that, based on these newly developed operational laws, two types of generalized prioritized aggregation operators are established, the generalized IN Sh-Sk prioritized weighted averaging (INSh-SkPWA) operator and the generalized IN Sh-Sk prioritized weighted geometric (INSh-SkPWG) operator. Additionally, we swot a number of valuable characteristics of these intended aggregation operators (AGOs) and created two novel decision-making models to match with multiple-attribute decision-making (MADM) problems under IN information established on INSh-SkPWA and INSh-SkPRWG operators. Finally, an expressive example regarding evaluating the technological innovation capability for the high-tech enterprises is specified to confirm the efficacy of the intended models.

1. Introduction

The most important utility of multiple-attribute decision-making (MADM) problems is to go for the preeminent alternative from the set of finite alternatives as stated to the partiality values specified by decision makers (DMs) with admiration to the attributes. However, despite the complication of the decision situation, it is hard for DMs to convey the partiality values by a particular real number in realistic problems. To agree with such circumstances, an intuitionistic fuzzy set (IFS) initiated by Atanassov [1] is one of the most promising simplifications of the fuzzy set (FS) initiated by Zadeh [2] to articulate unsure and inaccurate information perfectly [3,4,5]. Yet, in several circumstances, only a positive-membership degree (TMD) and negative-membership degree (FMD) cannot depict the incompatible information precisely. To agree with the corresponding circumstances, Smarandache [6] created a neutrosophic set (NS) which depicts the vague, inaccurate, and incompatible information by TMD, neutral-membership degree (IMD), and FMD. The values of the said functions are taken independently and are standard or nonstandard subsets of $\left]0^{-},1^{+}\right[$. As the NS consists of the IMD, it can explain the vague information much better than FS and IFS, and in addition, it is more reliable when it comes to individual expected opinions and perceptions. However, NS is difficult to exploit in factual problems due to the included nonstandard subsets of $\left]0^{-},1^{+}\right[$. As a result, to employ NS effortlessly in factual problems, Wang et al. [7,8] initiated the conceptions of single-valued NS and interval neutrosophic set (INS), which are subclasses of NS.

In factual decision making, we require aggregation operators (AGOs) to incorporate the specified information. In a neutrosophic environment, a lot of researchers have anticipated a number of AGOs. For example, the operational laws of single-valued neutrosophic numbers (SVNNs) was initially anticipated by Ye [9] and established the SVN weighted averaging (SVNWA) operator and SVN weighted geometric (SVNWG) operator. Afterwards, Peng et al. [10] located various drawbacks in the operational laws presented by Ye [9] and established enhanced operational rules for SVNNs and anticipated various SVN ordered weighted averages and SVN ordered weighted geometric operators. Ye [11] further presented a number of SVN hybrid averaging (SVNHA) and SVN hybrid geometric (ACNHG) operators and used these AGOs to solve MADM problems. Zhang et al. [12] initiated operational laws for IN numbers and established some IN weighted averaging and IN weighted geometric AGOs and applied these AGOs to solve MADM problems. Ye [13] initiated some IN ordered weighted averaging operators and a possibility ranking method and initiated an approach established based on these AGOs and a possibility ranking method to solve a MADM problem under an IN environment. Sun et al. [14] studied some Choquet integral AGOs for INNs. Garg and Nancy [15] initiated a nonlinear programming model established on TOPSIS to solve MAM problems. Wei et al. [16] initiated several generalized IN Bonferroni mean operators and applied them in the evaluation of high-tech technology enterprises. Tan et al. [17] established various exponential AGOs and specified their application in typhoon disaster evaluation. Wang et al. [18] established a MADM method with IN probability established based on regret theory. Khan et al. [19] initiated the concept of IN power Bonferroni mean operators and applied these to solve MADM problems under IN information. Zhou et al. [20] established several Frank IN weighted and geometric averaging operators. Rani and Garg [21] discovered various drawbacks in division and subtraction operations of INS and established modified division and subtraction operations for INS. Liu et al. [22] presented a MAGDM established on IN power Hamy mean operators. Yang et al. [23] initiated various new similarities and entropies for INS. Meng et al. [24] presented the concept of IN preference and its application in the selection of virtual enterprise partners. Kakati et al. [25] presented various IN hesitant Choquet integral AGOs established on Einstein operational laws and applied them to MADM. Liu et al. [26] presented a number of generalized Hamacher AGOs for NS and applied them to MAGDM. Liu et al. [27] introduced the generalized IN power averaging (GINPA) operator by combining power AGOs with INS to gain the full advantage of power AGOs under an IN environment. Yang et al. [28] established various IN linguistic power AGOs based on Einstein’s operational laws.

All the above-presented AGOs are recognized on the anticipation that the input arguments to be aggregated are independent. These managing AGOs have not measured the condition where the attributes have a priority relationship between them. To resolve this difficulty, Yager [29] initiated the concept of PA operator. Wei et al. [30] presented the concept of generalized PA operators. These AGOs were further enlarged by several researchers, such as Wu et al. [31], who enlarged PA operators to the SVN environment by anticipating the notions of SVN prioritized WA (SVNPWA) and SVN prioritized WG (SVNPWG) operators and used them on MADM problems with SVN information. Additionally, Liu et al. [32] anticipated a number of prioritized ordered WA/geometric operators to agree with IN information. Ji et al. [33] fused PA operators with BM operators and presented a number of SVN Frank prioritized BM AGOs by exploiting Frank operations. Recently, Wei et al. [34] put forward a number of PA operators established on Dombi TN and TCN and used them on MADM problems with SVN information. Sahin [35] anticipated some generalized PA operators for normal NS and applied these aggregation operators to MADM. Liu and You [36] studied some IN Muirhead mean operators and applied them to solve MADM problems with IN information. Sarkar et al. [37] developed an optimization technique for a national income determination model with stability analysis of differential equations in discrete and continuous processes under uncertain environment.

From the mentioned AGOs, the majority of these AGOs for NS or INS are established on algebraic, Hamacher, Frank, and Dombi operational rules, which are particular cases of Archimedean tn (Atn) and tcn (Atcn). Atn and Atcn are definitely the expansions of numerous TNs and TCNs, which have a number of particular cases which are preferrable for articulating the union and intersection of SVNS [38]. Sh–Sk operations [39] are the particular cases from Atn and Atcn, and they are with a changeable parameter, so they are additionally supple and better than the former operations. Still, the majority of research concerning Sh–Sk mostly determined the elementary theory and types of Sh-Sk TN (Sh-Sktn) and TCN (Sh-Sktcn) [40,41]. Recently, Liu et al. [42] and Zhang [43] merged Sh-Sk operations with interval-valued IFS (IVIFS) and IFS and anticipated power WA/geometric AGOs and weighted power WA/geometric AGOs for IVIFSs and IFSs, respectively. Wang and Liu [44] anticipated a Maclaurin symmetric mean operator for IFS established on Sh–Sk operational laws. Liu et al. [45] further presented Sh-Sk operational laws for SVNS and presented some Sh-Sk prioritized AGOs and applied these AGOs to solve MADM problems. Later on, Zhang et al. [46] anticipated some Muirhead mean operators for SVNS established on Sh-Sk operational laws and applied them to MADM problems. Nagarajan et al. [47] presented some Sh-Sk operational laws for INNs by taking the values of the variable parameter from $\left(0,+\infty \right]$. They also anticipated some weighted averaging and geometric AOs based on these Sh–Sk operational laws for INNs. In recent years, INSs have gained much attention from the researchers and a great number of achievement have been made, such as VIKOR [48,49,50], cross entropy [51], MABAC, EDAS [52], out ranking approach [53], distance and similarity measures [54], TOPSIS [55].

2. Literature Review

In this section, the literature discussing IN MADM aggregation operators is reviewed. It has been noticed that research of IN MADM aggregation operators has been rapidly published since 2013.

Table 1. Multiple-attribute decision-making (MADM) methods based on different aggregation operators.

Author	Interval Neutrosophic MADM Methods Based on Different Aggregation Operators
Zhang et al. [12] (2014)	IN weighted averaging and geometric operators
Wei et al [16] (2019)	Generalized Bonferroni mean Operators
Khan et al. [19] (2018)	Dombi Power Bonferroni Mean operators
Liu et al. [22]	Power Hamy mean operator
Liu and Tang [27]	Power generalized aggregation operators
Liu and Wang [32]	Prioritized OWA aggregation operators
Liu and You [36]	Muirhead mean operator
Huang et al. [49] and Hu et al. [50] (2017)	VIKOR methods
Tain et al. [51] (2016)	Cross entropy
Peng and Dia [52] (2017)	MABAC and EDAS methods
Zhang et al. [53] (2016)	An outranking approach
Ye and Du [54] (2019)	Similarity Measures

provides the recent literature of IN MADM based on different types of aggregation operators.

It can be seen that no research attempted to merge Sh-Sk operational laws and generalized prioritized aggregation operators to deal with IN information. Therefore, we suggest that:

(1)

INNs are superior in depicting tentative information by identifying the interval TMD, interval IMD, and interval FMD than FSs and IFSs in dealing with MADM problems.

(2)

The Sh-Sk operations are too flexible and better than the former operations by a variable parameter;

(3)

Conveniently, several MADM problems exist in which the attributes have a priority relationship, and a number of existing AGOs can moderate these circumstances only when the attributes take the form of real numbers. So far, there are no such AGOs to handle MADM problems under IN information established on Sh-Sktn and Sh-Sktcn. In response to this limitation, we merged the ordinary generalized PA operator with Sh-Sk operations to handle MADM problems with the IN information.

Therefore, from the above research inspirations, the objectives and offerings of this article are revealed as follows.

(1)

Anticipating a generalized IN Sh-Sk prioritized weighted averaging (GIN Sh-Sk PWA) operator and generalized IN Sh-Sk prioritized weighted geometric (GIN Sh-Sk PWG) operator.

(2)

Examining properties and precise cases of these anticipated AGOs.

(3)

Put forward two novel MADM approaches based on the anticipated AGOs.

(4)

Confirming the efficacy and realism of the anticipated approaches.

To achieve these objectives, this article is structured as follows. In Section 3, we initiate some basic ideas of INSs and score and accuracy functions of PA operators. In Section 4, we examine a number of Schweizer-Sklar operational laws for INNs where the variable parameter takes values from $\left[\infty -,0\right)$. In Section 5, we propose INSSPWA and INSSPWG operators and examine a number of properties and particular cases of the anticipated AGOs. In Section 6, we present two MADM approaches established on these AGOs. In Section 7, we resolve a numerical example to confirm the soundness and compensations of the anticipated approaches by contrasting with other existing approaches. Finally, a short conclusion is made in Section 8.

3. Preliminaries

In this part, some basic definitions about INSs, INN, the PA operator, Schweizer-Sklar TN and TCN, and their associated properties are argued. These definitions are given in Appendix A and Appendix B.

4. Sh-Sk Operations for INNs

The Sh-Sk (SS) operations contain Sh-Sk product and Sh-Sk sum, which are particular cases of Att.

Definition 1

[12]. Assume that ${\overline{\overline{VN}}}_1=\langle {\overline{\overline{TS}}}_1,{\overline{\overline{IS}}}_1,{\overline{\overline{FS}}}_1\rangle$ and ${\overline{\overline{VN}}}_2=\langle {\overline{\overline{TS}}}_2,{\overline{\overline{IS}}}_2,{\overline{\overline{FS}}}_2\rangle$ are any two arbitrary INSs, then the generalized union and intersection are identified as follows:

$${\overline{\overline{VN}}}_1{\displaystyle {\cup }_{\mathsf{\Theta },{\mathsf{\Theta }}^{*}}{\overline{\overline{VN}}}_2=\left\{\langle \wp ,\left[{\mathsf{\Theta }}^{*}\left({\overline{\overline{TS}}}_1^{LO}(\wp ),{\overline{\overline{TS}}}_2^{LO}(\wp )\right),{\mathsf{\Theta }}^{*}\left({\overline{\overline{TS}}}_1^{UP}(\wp ),{\overline{\overline{TS}}}_2^{UP}(\wp )\right)\right],\left[\mathsf{\Theta }\left({\overline{\overline{IS}}}_1^{LO}(\wp ),{\overline{\overline{IS}}}_2^{LO}(\wp )\right),\mathsf{\Theta }\left({\overline{\overline{IS}}}_1^{UP}(\wp ),{\overline{\overline{IS}}}_2^{UP}(\wp )\right)\right],\left[\mathsf{\Theta }\left({\overline{\overline{FS}}}_1^{LO}(\wp ),{\overline{\overline{FS}}}_2^{LO}(\wp )\right),\mathsf{\Theta }\left({\overline{\overline{FS}}}_1^{UP}(\wp ),{\overline{\overline{FS}}}_2^{UP}(\wp )\right)\right]\rangle ,\wp \in U\right\}}$$

(1)

$${\overline{\overline{VN}}}_1{\displaystyle {\cap }_{\mathsf{\Theta },{\mathsf{\Theta }}^{*}}{\overline{\overline{VN}}}_2=\left\{\langle \wp ,\left[\mathsf{\Theta }\left({\overline{\overline{TS}}}_1^{LO}(\wp ),{\overline{\overline{TS}}}_2^{LO}(\wp )\right),\mathsf{\Theta }\left({\overline{\overline{TS}}}_1^{UP}(\wp ),{\overline{\overline{TS}}}_2^{UP}(\wp )\right)\right],\left[{\mathsf{\Theta }}^{*}\left({\overline{\overline{IS}}}_1^{LO}(\wp ),{\overline{\overline{IS}}}_2^{LO}(\wp )\right),{\mathsf{\Theta }}^{*}\left({\overline{\overline{IS}}}_1^{UP}(\wp ),{\overline{\overline{IS}}}_2^{UP}(\wp )\right)\right],\left[{\mathsf{\Theta }}^{*}\left({\overline{\overline{FS}}}_1^{LO}(\wp ),{\overline{\overline{FS}}}_2^{LO}(\wp )\right),{\mathsf{\Theta }}^{*}\left({\overline{\overline{FS}}}_1^{UP}(\wp ),{\overline{\overline{FS}}}_2^{UP}(\wp )\right)\right]\rangle ,\wp \in U\right\}}$$

(2)

where $\mathsf{\Theta }$ and ${\mathsf{\Theta }}^{*}$ respectively represent TN and TCN.

The Sh-Sktn and TCN are explained as follows:

$${\mathsf{\Theta }}_{Sh-Sk,\mathfrak{A}}\left(\alpha ,\beta \right)={\left({\alpha }^{\mathfrak{A}}+{\beta }^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}},$$

(3)

$${\mathsf{\Theta }}_{Sh-Sk,\mathfrak{A}}^{*}\left(\alpha ,\beta \right)=1-{\left({\left(1-\alpha \right)}^{\mathfrak{A}}+{\left(1-\beta \right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}}$$

(4)

where $\mathfrak{A}<0,\alpha ,\beta \in \left[0,1\right].$

Moreover, when $\varsigma =0$, Sh-Sktn and Sh-Sktcn degenerate into algebraic TN and TCN.

Based on the tn and tcn of Sh-Sk operations, we can provide the following definition for Sh-Sk operations for INNs.

Definition 2

[12]. Let ${\overline{\overline{vn}}}_1=\langle \left[{\overline{\overline{ts}}}_1^{LO},{\overline{\overline{ts}}}_1^{UP}\right],\left[{\overline{\overline{is}}}_1^{LO},{\overline{\overline{is}}}_1^{UP}\right],\left[{\overline{\overline{fs}}}_1^{LO},{\overline{\overline{fs}}}_1^{UP}\right]\rangle$ and ${\overline{\overline{vn}}}_2=\langle \left[{\overline{\overline{ts}}}_2^{LO},{\overline{\overline{ts}}}_2^{UP}\right],\left[{\overline{\overline{is}}}_2^{LO},{\overline{\overline{is}}}_2^{UP}\right],\left[{\overline{\overline{fs}}}_2^{LO},{\overline{\overline{fs}}}_2^{UP}\right]\rangle$ be any two arbitrary INNs, then the following generalized union and generalized intersection of INN are established on the basis of Sh-Sk operations:

$${\overline{\overline{vn}}}_1{\oplus }_{{\mathsf{\Theta }}^{*},\mathsf{\Theta }}{\overline{\overline{vn}}}_2=\langle \left[{\mathsf{\Theta }}^{*}\left({\overline{\overline{ts}}}_1^{LO},{\overline{\overline{ts}}}_2^{LO}\right),{\mathsf{\Theta }}^{*}\left({\overline{\overline{ts}}}_1^{UP},{\overline{\overline{ts}}}_2^{UP}\right)\right],\left[\mathsf{\Theta }\left({\overline{\overline{is}}}_1^{LO},{\overline{\overline{is}}}_2^{LO}\right),\mathsf{\Theta }\left({\overline{\overline{is}}}_1^{UP},{\overline{\overline{is}}}_2^{UP}\right)\right],\left[\mathsf{\Theta }\left({\overline{\overline{fs}}}_1^{LO},{\overline{\overline{fs}}}_2^{LO}\right),\mathsf{\Theta }\left({\overline{\overline{fs}}}_1^{UP},{\overline{\overline{fs}}}_2^{UP}\right)\right]\rangle ;$$

(5)

$${\overline{\overline{vn}}}_1{\otimes }_{{\mathsf{\Theta }}^{*},\mathsf{\Theta }}{\overline{\overline{vn}}}_2=\langle \left[\mathsf{\Theta }\left({\overline{\overline{ts}}}_1^{LO},{\overline{\overline{ts}}}_2^{LO}\right),\mathsf{\Theta }\left({\overline{\overline{ts}}}_1^{UP},{\overline{\overline{ts}}}_2^{UP}\right)\right],\left[{\mathsf{\Theta }}^{*}\left({\overline{\overline{is}}}_1^{LO},{\overline{\overline{is}}}_2^{LO}\right),{\mathsf{\Theta }}^{*}\left({\overline{\overline{is}}}_1^{UP},{\overline{\overline{is}}}_2^{UP}\right)\right],\left[{\mathsf{\Theta }}^{*}\left({\overline{\overline{fs}}}_1^{LO},{\overline{\overline{fs}}}_2^{LO}\right),{\mathsf{\Theta }}^{*}\left({\overline{\overline{fs}}}_1^{UP},{\overline{\overline{fs}}}_2^{UP}\right)\right]\rangle$$

(6)

On the basis of Definitions 1 and 2, we can develop the SS operational laws of INNs shown as follows $\left(\mathfrak{A}<0\right)$:

$$\begin{array}{l}(1)\text{}\hspace{0.17em}\hspace{0.17em}{\overline{\overline{vn}}}_1{\oplus }_{Sh-Sk}{\overline{\overline{vn}}}_2=\langle \left[1-{\left({\left(1-{\overline{\overline{ts}}}_1^{LO}\right)}^{\mathfrak{A}}+{\left(1-{\overline{\overline{ts}}}_2^{LO}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}},1-{\left({\left(1-{\overline{\overline{ts}}}_1^{UP}\right)}^{\mathfrak{A}}+{\left(1-{\overline{\overline{ts}}}_2^{UP}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}}\right],\\ [{\left({\left({\overline{\overline{is}}}_1^{LO}\right)}^{\mathfrak{A}}+{\left({\overline{\overline{is}}}_2^{LO}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}},{\left({\left({\overline{\overline{is}}}_1^{UP}\right)}^{\mathfrak{A}}+{\left({\overline{\overline{is}}}_2^{UP}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}}],\left[{\left({\left({\overline{\overline{fs}}}_1^{LO}\right)}^{\mathfrak{A}}+{\left({\overline{\overline{fs}}}_2^{LO}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}},{\left({\left({\overline{\overline{fs}}}_1^{UP}\right)}^{\mathfrak{A}}+{\left({\overline{\overline{fs}}}_2^{UP}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}}\right]\rangle ;\end{array}$$

(7)

$$\begin{array}{l}(2)\hspace{0.17em}\hspace{0.17em}{\overline{\overline{vn}}}_1{\otimes }_{Sh-Sk}{\overline{\overline{vn}}}_2=\langle \left[{\left({\left({\overline{\overline{ts}}}_1^{LO}\right)}^{\mathfrak{A}}+{\left({\overline{\overline{ts}}}_2^{LO}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}},{\left({\left({\overline{\overline{ts}}}_1^{UP}\right)}^{\mathfrak{A}}+{\left({\overline{\overline{ts}}}_2^{UP}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}}\right],[1-{\left({\left(1-{\overline{\overline{is}}}_1^{LO}\right)}^{\mathfrak{A}}+{\left(1-{\overline{\overline{is}}}_2^{LO}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}},\\ 1-{\left({\left(1-{\overline{\overline{is}}}_1^{UP}\right)}^{\mathfrak{A}}+{\left(1-{\overline{\overline{is}}}_2^{UP}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}}],\left[1-{\left({\left(1-{\overline{\overline{fs}}}_1^{LO}\right)}^{\mathfrak{A}}+{\left(1-{\overline{\overline{fs}}}_2^{LO}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}},1-{\left({\left(1-{\overline{\overline{fs}}}_1^{UP}\right)}^{\mathfrak{A}}+{\left(1-{\overline{\overline{fs}}}_2^{UP}\right)}^{\mathfrak{A}}-1\right)}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\end{array}$$

(8)

$$\begin{array}{l}(3)\hspace{0.17em}\hspace{0.17em}\partial \overline{\overline{vn}}=\langle \left[1-{\left(\partial {\left(1-{\overline{\overline{ts}}}^{LO}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}},1-{\left(\partial {\left(1-{\overline{\overline{ts}}}^{UP}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right],[{\left(\partial {\left({\overline{\overline{is}}}^{LO}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}},\\ \hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}{\left(\partial {\left({\overline{\overline{is}}}^{UP}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}}],\left[{\left(\partial {\left({\overline{\overline{fs}}}^{LO}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}},{\left(\partial {\left({\overline{\overline{fs}}}^{UP}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\partial >0;\end{array}$$

(9)

$$\begin{array}{l}(4)\hspace{0.17em}\hspace{0.17em}{\overline{\overline{vn}}}^{\partial }=\langle \left[{\left(\partial {\left({\overline{\overline{ts}}}^{LO}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}},{\left(\partial {\left({\overline{\overline{ts}}}^{UP}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right],[1-{\left(\partial {\left(1-{\overline{\overline{is}}}^{LO}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}},\\ 1-{\left(\partial {\left(1-{\overline{\overline{is}}}^{UP}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}}]\left[1-{\left(\partial {\left(1-{\overline{\overline{fs}}}^{LO}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}},1-{\left(\partial {\left(1-{\overline{\overline{fs}}}^{UP}\right)}^{\mathfrak{A}}-\left(\partial -1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\partial >0.\end{array}$$

(10)

Theorem 1.

Let $\overline{\overline{vn}}=\langle \left[{\overline{\overline{ts}}}^{LO},{\overline{\overline{ts}}}^{UP}\right],\left[{\overline{\overline{is}}}^{LO},{\overline{\overline{is}}}^{UP}\right],\left[{\overline{\overline{fs}}}^{LO},{\overline{\overline{fs}}}^{UP}\right]\rangle ,{\overline{\overline{vn}}}_1=\langle \left[{\overline{\overline{ts}}}_1^{LO},{\overline{\overline{ts}}}_1^{UP}\right],\left[{\overline{\overline{is}}}_1^{LO},{\overline{\overline{is}}}_1^{UP}\right],\left[{\overline{\overline{fs}}}_1^{LO},{\overline{\overline{fs}}}_1^{UP}\right]\rangle$ and ${\overline{\overline{vn}}}_2=\langle \left[{\overline{\overline{ts}}}_2^{LO},{\overline{\overline{ts}}}_2^{UP}\right],\left[{\overline{\overline{is}}}_2^{LO},{\overline{\overline{is}}}_2^{UP}\right],\left[{\overline{\overline{fs}}}_2^{LO},{\overline{\overline{fs}}}_2^{UP}\right]\rangle$ be any three INNs. Then:

$${\overline{\overline{vn}}}_1{\oplus }_{SS}{\overline{\overline{vn}}}_2={\overline{\overline{vn}}}_2{\oplus }_{SS}{\overline{\overline{vn}}}_1$$

(11)

$${\overline{\overline{vn}}}_1{\otimes }_{SS}{\overline{\overline{vn}}}_2={\overline{\overline{vn}}}_2{\otimes }_{SS}{\overline{\overline{vn}}}_1$$

(12)

$$\partial \left({\overline{\overline{vn}}}_1{\oplus }_{SS}{\overline{\overline{vn}}}_2\right)=\partial {\overline{\overline{vn}}}_1{\oplus }_{SS}\partial {\overline{\overline{vn}}}_2,\partial \ge 0$$

(13)

$${\partial }_1\overline{\overline{vn}}{\oplus }_{Sh-Sk}{\partial }_2\overline{\overline{vn}}=\left({\partial }_1+{\partial }_2\right)\overline{\overline{vn}},{\partial }_1,{\partial }_2\ge 0$$

(14)

$${\overline{\overline{vn}}}^{{\partial }_1}{\otimes }_{Sh-Sk}{\overline{\overline{vn}}}^{{\partial }_2}={\left(\overline{\overline{vn}}\right)}^{{\partial }_1+{\partial }_2},{\partial }_1,{\partial }_2\ge 0$$

(15)

$${\overline{\overline{vn}}}_1^{\partial }{\otimes }_{Sh-Sk}{\overline{\overline{vn}}}_2^{\partial }={\left({\overline{\overline{vn}}}_1{\otimes }_{Sh-Sk}{\overline{\overline{vn}}}_2\right)}^{\partial },\partial >0.$$

(16)

5. Some Generalized Prioritized Aggregation Operators for INNs

In this part, we develop some generalized prioritized aggregation operators based on the developed operational laws for INNs.

5.1. Generalized Interval Neutrosophic Schweizer-Sklar Prioritized Aggregation (GINSh-SkPA) Operator

In this subpart, we develop a generalized interval neutrosophic Schweizer-Sklar prioritized weighted averaging (GINSh-SkPWA) operator and discuss its enviable properties and some particular cases.

Definition 3.

For a group of INNs ${\overline{\overline{vn}}}_g\left(g=1,2,\dots ,s\right),$ the GINSh-SkPWA operator is a function ${\Im }^s\to \Im ,$

$$GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)={\left(\underset{g=1}{\overset{s}{{\displaystyle {\oplus }_{{}^{Sh-Sk}}}}}\left(\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_g^{\mathsf{\Upsilon }}\right)\right)}^{\frac{1}{\mathsf{\Upsilon }}},$$

(17)

where $\mathsf{\Upsilon }\in \left(0,+\infty \right)$, $T_g=\underset{h=1}{\overset{g-1}{{\displaystyle \otimes }}}\hspace{0.17em}\overline{\overline{SE}}\left({\overline{\overline{vn}}}_h\right),(g=2,\dots ,s),T_1=1$, and$\overline{\overline{SE}}\left({\overline{\overline{vn}}}_h\right)$is the score of INN ${\overline{\overline{vn}}}_h$.

Theorem 2.

Let${\overline{\overline{vn}}}_g\left(g=1,2,\dots ,s\right)$be a set of INNs, then the aggregated value employing Definition (3) is still INN, and we have:

$$\begin{array}{l}GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\hfill \\ \langle \left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO\hspace{0.17em}}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\hfill \\ \hspace{0.17em}\left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right]\hfill \\ \left[1-{\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{\varsigma }-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\hfill \end{array}$$

(18)

Proof. 

In the following, we first prove:

$$\begin{array}{l}\frac{T_1}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\displaystyle {\overline{\overline{vn}}}_1^{\mathsf{\Upsilon }}}+\frac{T_2}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\displaystyle {\overline{\overline{vn}}}_2^{\mathsf{\Upsilon }}}+\dots +\frac{T_s}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\displaystyle {\overline{\overline{vn}}}_s^{\mathsf{\Upsilon }}}\hfill \\ =\langle \left[1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\hfill \\ \left[{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\varsigma }},{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\hfill \\ \left[{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\hfill \end{array}$$

(19)

by utilizing mathematical induction on $s$.

For $s=2$.

From the operational rules defined for INNs in Definition (2), we have:

$$\begin{array}{ll}{\overline{\overline{vn}}}_1^{\mathsf{\Upsilon }}\hfill & =\langle \left[{\left\{\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\left[1-{\left\{\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ & \left[1-{\left\{\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\end{array}$$

and:

$$\begin{array}{ll}\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_1^{\mathsf{\Upsilon }}& =\langle \left[1-{\left\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ & \left[{\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ & \left[{\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

Similarly:

$$\begin{array}{ll}\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_2^{\mathsf{\Upsilon }}& =\langle \left[1-{\left\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ & \left[{\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ & \left[{\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

Then:

$$\begin{gathered} \begin{array}{l}\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_1^{\mathsf{\Upsilon }}+\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_2^{\mathsf{\Upsilon }}\\ =\langle [1-{\left\{{\left(1-\left(1-{\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}+{\left(1-\left(1-{\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}},\\ 1-{\left\{{\left(1-\left(1-{\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}+{\left(1-\left(1-{\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}}],\\ [{\left\{{\left({\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}+{\left({\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}},\\ {\left\{{\left({\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}+{\left({\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}}],\\ [{\left\{{\left({\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}+{\left({\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}},\\ {\left\{{\left({\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}+{\left({\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_2^{Up}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}}]\rangle ,\\ =\langle [1-{\left\{{\left({\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}+{\left({\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}},\\ 1-{\left\{{\left({\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}+{\left({\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}}],\end{array} \\ \begin{array}{l}[{\left\{\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)+\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)-1\right\}}^{\frac{1}{\mathfrak{A}}},\\ {\left\{\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)+\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)-1\right\}}^{\frac{1}{\mathfrak{A}}}]\hspace{0.17em},\\ [{\left\{\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)+\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)-1\right\}}^{\frac{1}{\mathfrak{A}}},\\ {\left\{\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)+\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)-1\right\}}^{\frac{1}{\mathfrak{A}}}]\hspace{0.17em}\rangle ;\end{array} \\ \begin{array}{l}\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_1^{\mathsf{\Upsilon }}+\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_2^{\mathsf{\Upsilon }}\\ =\langle \left[1-{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathfrak{M}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\\ \hspace{0.17em}\left[{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ;\end{array} \end{gathered}$$

If Equation (23) holds for $s=m$:

$$\begin{array}{l}\frac{T_1}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_1^{\mathsf{\Upsilon }}+\frac{T_2}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_2^{\mathsf{\Upsilon }}+\dots +\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_m^{\mathsf{\Upsilon }}\\ =\langle \left[1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^U\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\\ \left[{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

Then, when $s=m+1,$ by the operational rules given in Definition (5), we have:

$$\begin{array}{l}\frac{T_1}{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_1^{\mathsf{\Upsilon }}+\frac{T_2}{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_2^{\mathsf{\Upsilon }}+\dots +\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_{m+1}^{\mathsf{\Upsilon }}=\frac{T_1}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_1^{\mathsf{\Upsilon }}+\frac{T_2}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_2^{\mathsf{\Upsilon }}+\dots +\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_m^{\mathsf{\Upsilon }}+\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_{m+1}^{\mathsf{\Upsilon }}\\ =\langle \left[1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle +\\ \langle \left[1-{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_{m+1}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_{m+1}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_{m+1}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_{m+1}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_{m+1}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_{m+1}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\end{array}$$

$$\begin{array}{l}\frac{T_1}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_1^{\mathsf{\Upsilon }}+\frac{T_2}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_2^{\mathsf{\Upsilon }}+\dots +\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_{m+1}^{\mathsf{\Upsilon }}\\ =\langle \left[1-{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},\right]\\ \hspace{0.17em}\left[{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

That is, Equation (19) is true for $g=m+1.$ Thus, Equation (19), is true for all $g.$ Then:

$$\begin{array}{l}{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\overline{\overline{vn}}}_g^{\mathsf{\Upsilon }}\right)}^{\frac{1}{\mathsf{\Upsilon }}}=\\ \langle \left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\hspace{0.17em}\\ \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \hspace{0.17em}\left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^L\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\end{array}$$

Therefore:

$$\begin{array}{l}GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\\ \langle \left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\hspace{0.17em}\\ \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \hspace{0.17em}\left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^L\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

which completes the proof of Theorem 2. □

Theorem 3.

Idempotency: If all${\overline{\overline{vn}}}_g=\overline{\overline{vn}}\hspace{0.17em}\left(g=1,2,\dots ,s\right)$then:

$$GINSSPW{A}_{\Re }\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\overline{\overline{vn}}.$$

(20)

Proof. 

(1). Since ${\overline{\overline{vn}}}_g=\overline{\overline{vn}}$ for all $g=1,2,\dots ,s,$ then:

$$\begin{gathered} \begin{array}{l}GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\\ \langle \left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\hspace{0.17em}\\ \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\end{array} \\ \begin{array}{l}=\langle \left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\hspace{0.17em}\\ \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\\ =\langle \left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left({\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\hspace{0.17em}\\ \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left({\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left({\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}^U\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left({\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}^L\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left({\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\\ =\langle \overline{\overline{ts}},\overline{\overline{is}},\overline{\overline{fs}}\rangle =\overline{\overline{vn}}.\end{array} \end{gathered}$$

 □

Theorem 4.

Boundedness: Let${\overline{\overline{vn}}}_g=\langle \left[{\overline{\overline{ts}}}_g^{LO},{\overline{\overline{ts}}}_g^{UP}\right],\left[{\overline{\overline{is}}}_g^{LO},{\overline{\overline{is}}}_g^{UP}\right],\left[{\overline{\overline{fs}}}_g^{LO},{\overline{\overline{fs}}}_g^{UP}\right]\rangle (g=1,2...,s)$be a group of INNs, where$T_g=\underset{h=1}{\overset{g-1}{{\displaystyle \otimes }}}\hspace{0.17em}\overline{\overline{SE}}\left({\overline{\overline{vn}}}_h\right),(g=2,\dots ,s),T_1=1$and$\overline{\overline{SE}}\left({\overline{\overline{vn}}}_h\right)$is the score of INN${\overline{\overline{vn}}}_h$. Moreover, let${\overline{\overline{vn}}}^{-}=\langle \left[{\left({\overline{\overline{ts}}}^{LO}\right)}^{-},{\left({\overline{\overline{ts}}}^{UP}\right)}^{-}\right],\left[{\left({\overline{\overline{is}}}^{LO}\right)}^{+},{\left({\overline{\overline{is}}}^{UP}\right)}^{+}\right],\left[{\left({\overline{\overline{fs}}}^{LO}\right)}^{+},{\left({\overline{\overline{fs}}}^{UP}\right)}^{+}\right]\rangle$and${\overline{\overline{vn}}}^{+}=\langle \left[{\left({\overline{\overline{ts}}}^{LO}\right)}^{+},{\left({\overline{\overline{ts}}}^{UP}\right)}^{+}\right],\left[{\left({\overline{\overline{is}}}^{LO}\right)}^{-},{\left({\overline{\overline{is}}}^{UP}\right)}^{-}\right],\left[{\left({\overline{\overline{fs}}}^{LO}\right)}^{-},{\left({\overline{\overline{fs}}}^{UP}\right)}^{-}\right]\rangle$, where${\left({\overline{\overline{ts}}}^{LO}\right)}^{-}=\underset{1\le g\le s}{\min }{\overline{\overline{ts}}}^{LO},{\left({\overline{\overline{ts}}}^{UP}\right)}^{-}=\underset{1\le g\le s}{\min }{\overline{\overline{ts}}}^{UP},{\left({\overline{\overline{ts}}}^{LO}\right)}^{+}=\underset{1\le g\le s}{\max }{\overline{\overline{ts}}}^{LO},{\left({\overline{\overline{ts}}}^{UP}\right)}^{+}=\underset{1\le g\le s}{\max }{\overline{\overline{ts}}}^{UP},$${\left({\overline{\overline{is}}}^{LO}\right)}^{-}=\underset{1\le g\le s}{\min }{\overline{\overline{is}}}^{LO},$${\left({\overline{\overline{is}}}^{UP}\right)}^{-}=\underset{1\le g\le s}{\min }{\overline{\overline{is}}}^{UP},$${\left({\overline{\overline{is}}}^{LO}\right)}^{+}=\underset{1\le g\le s}{\max }{\overline{\overline{is}}}^{LO},{\left({\overline{\overline{is}}}^{UP}\right)}^{+}=\underset{1\le g\le s}{\max }{\overline{\overline{is}}}^{UP},$and${\left({\overline{\overline{fs}}}^{LO}\right)}^{-}=\underset{1\le g\le s}{\min }{\overline{\overline{fs}}}^{LO},{\left({\overline{\overline{fs}}}^{UP}\right)}^{-}=\underset{1\le g\le s}{\min }{\overline{\overline{fs}}}^{UP},$${\left({\overline{\overline{fs}}}^{LO}\right)}^{+}=\underset{1\le g\le s}{\max }{\overline{\overline{fs}}}^{LO},$${\left({\overline{\overline{fs}}}^{UP}\right)}^{+}=\underset{1\le g\le s}{\max }{\overline{\overline{fs}}}^{UP},$then:

$${\overline{\overline{vn}}}^{-}\le GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)\le {\overline{\overline{vn}}}^{+}.$$

(21)

Proof. 

Since, ${\left({\overline{\overline{ts}}}^{LO}\right)}^{-}\le {\overline{\overline{ts}}}_g^{LO}\le {\left({\overline{\overline{ts}}}^{LO}\right)}^{+},{\left({\overline{\overline{ts}}}^{UP}\right)}^{-}\le {\overline{\overline{ts}}}_g^{UP}\le {\left({\overline{\overline{ts}}}^{UP}\right)}^{+},{\left({\overline{\overline{is}}}^{LO}\right)}^{-}\le {\overline{\overline{is}}}_g^{LO}\le {\left({\overline{\overline{is}}}^{LO}\right)}^{+},{\left({\overline{\overline{is}}}^{UP}\right)}^{-}\le {\overline{\overline{is}}}_g^{UP}\le {\left({\overline{\overline{is}}}^{UP}\right)}^{+},{\left({\overline{\overline{fs}}}^{LO}\right)}^{-}\le {\overline{\overline{fs}}}_g^{LO}\le {\left({\overline{\overline{fs}}}^{LO}\right)}^{+},{\left({\overline{\overline{fs}}}^{UP}\right)}^{-}\le {\overline{\overline{fs}}}_g^{UP}\le {\left({\overline{\overline{fs}}}^{UP}\right)}^{+}$. First, when $\mathfrak{M}\in \left(0,\infty \right)$, then:

$$\begin{array}{l}{\left(\mathsf{\Upsilon }{\left({\left({\overline{\overline{ts}}}^{LO}\right)}^{-}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\le {\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\Rightarrow 1-{\left(\mathsf{\Upsilon }{\left({\left({\overline{\overline{ts}}}^{LO}\right)}^{-}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\ge 1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}},\\ {\left\{\frac{T_1}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\left({\overline{\overline{ts}}}^{LO}\right)}^{-}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\ge {\left\{\frac{T_1}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\\ 1-{\left\{\frac{T_1}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\left({\overline{\overline{ts}}}^{LO}\right)}^{-}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\le 1-{\left\{\frac{T_1}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\\ {\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\left({\overline{\overline{ts}}}^{LO}\right)}^{-}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\le {\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\end{array}$$

Similarly, we have:

$${\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\le {\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\left({\overline{\overline{ts}}}^{UP}\right)}^{+}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}$$

and as ${\left({\overline{\overline{is}}}^{LO}\right)}^{-}\le {\overline{\overline{is}}}_g^{LO}\le {\left({\overline{\overline{is}}}^{LO}\right)}^{+},{\left({\overline{\overline{is}}}^{UP}\right)}^{-}\le {\overline{\overline{is}}}_g^{UP}\le {\left({\overline{\overline{is}}}^{UP}\right)}^{+}$, we have:

$$\begin{array}{l}{\left(\mathsf{\Upsilon }{\left(1-{\left({\overline{\overline{is}}}^{LO}\right)}^{-}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\le {\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\Rightarrow 1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\left({\overline{\overline{is}}}^{LO}\right)}^{-}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\ge 1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\\ {\Rightarrow 1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\left({\overline{\overline{is}}}^{LO}\right)}^{-}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\le {1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},\end{array}$$

and:

$${1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\le {1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\left({\overline{\overline{is}}}^{LO}\right)}^{+}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}$$

Similarly, the same process is for the falsity-membership function, that is:

$$\begin{gathered} {1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\left({\overline{\overline{fs}}}^{LO}\right)}^{-}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\le {1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}, \\ {1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\le {1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\left({\overline{\overline{fs}}}^{LO}\right)}^{+}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}. \end{gathered}$$

Thus, on the other hand, we have:

$${\overline{\overline{vn}}}^{-}\le GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)\le {\overline{\overline{vn}}}^{+}.$$

Let $GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\overline{\overline{vn}}=\langle \overline{\overline{ts}},\overline{\overline{is}},\overline{\overline{fs}}\rangle$, then:

$$\overline{\overline{SE}}\left(\overline{\overline{vn}}\right)=\frac{{\overline{\overline{ts}}}_g^{LO}+{\overline{\overline{ts}}}_g^{UP}}{2}+1-\frac{{\overline{\overline{is}}}_g^{LO}+{\overline{\overline{is}}}_g^{UP}}{2}+1-\frac{{\overline{\overline{fs}}}_g^{LO}+{\overline{\overline{fs}}}_g^{UP}}{2}\ge \frac{{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{-}+{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{-}}{2}+1-\frac{{\left({\overline{\overline{is}}}_g^{LO}\right)}^{+}+{\left({\overline{\overline{is}}}_g^{UP}\right)}^{+}}{2}+1-\frac{{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{+}+{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{+}}{2}=\overline{\overline{SE}}\left({\overline{\overline{vn}}}^{-}\right)$$

and:

$$\overline{\overline{SE}}\left(\overline{\overline{vn}}\right)=\frac{{\overline{\overline{ts}}}_g^{LO}+{\overline{\overline{ts}}}_g^{UP}}{2}+1-\frac{{\overline{\overline{is}}}_g^{LO}+{\overline{\overline{is}}}_g^{UP}}{2}+1-\frac{{\overline{\overline{fs}}}_g^{LO}+{\overline{\overline{fs}}}_g^{UP}}{2}\le \frac{{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{+}+{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{+}}{2}+1-\frac{{\left({\overline{\overline{is}}}_g^{LO}\right)}^{-}+{\left({\overline{\overline{is}}}_g^{UP}\right)}^{-}}{2}+1-\frac{{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{-}+{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{-}}{2}=\overline{\overline{SE}}\left({\overline{\overline{vn}}}^{+}\right)$$

If $\overline{\overline{SE}}\left({\overline{\overline{vn}}}^{-}\right)<\overline{\overline{SE}}\left(\overline{\overline{vn}}\right)<\overline{\overline{SE}}\left({\overline{\overline{vn}}}^{+}\right)$, then:

$${\overline{\overline{vn}}}^{-}<GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)<{\overline{\overline{vn}}}^{+}.$$

If $\overline{\overline{SE}}\left(\overline{\overline{vn}}\right)=\overline{\overline{SE}}\left({\overline{\overline{vn}}}^{-}\right)$, that is:

$$\frac{{\overline{\overline{ts}}}_g^{LO}+{\overline{\overline{ts}}}_g^{UP}}{2}+1-\frac{{\overline{\overline{is}}}_g^{LO}+{\overline{\overline{is}}}_g^{UP}}{2}+1-\frac{{\overline{\overline{fs}}}_g^{LO}+{\overline{\overline{fs}}}_g^{UP}}{2}=\frac{{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{-}+{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{-}}{2}+1-\frac{{\left({\overline{\overline{is}}}_g^{LO}\right)}^{+}+{\left({\overline{\overline{is}}}_g^{UP}\right)}^{+}}{2}+1-\frac{{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{+}+{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{+}}{2},$$

then:

$$GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)={\overline{\overline{vn}}}^{-}.$$

If $\overline{\overline{SE}}\left(\overline{\overline{vn}}\right)=\overline{\overline{SE}}\left({\overline{\overline{vn}}}^{+}\right)$, that is:

$$\frac{{\overline{\overline{ts}}}_g^{LO}+{\overline{\overline{ts}}}_g^{UP}}{2}+1-\frac{{\overline{\overline{is}}}_g^{LO}+{\overline{\overline{is}}}_g^{UP}}{2}+1-\frac{{\overline{\overline{fs}}}_g^{LO}+{\overline{\overline{fs}}}_g^{UP}}{2}=\frac{{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{+}+{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{+}}{2}+1-\frac{{\left({\overline{\overline{is}}}_g^{LO}\right)}^{-}+{\left({\overline{\overline{is}}}_g^{UP}\right)}^{-}}{2}+1-\frac{{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{-}+{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{-}}{2},$$

then:

$$GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)={\overline{\overline{vn}}}^{+}.$$

From the above established analysis, we have:

$${\overline{\overline{vn}}}^{-}\le GINSh-SkPW{A}_{\mathfrak{M}}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)\le {\overline{\overline{vn}}}^{+},\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\mathfrak{M}\in \left(0,\infty \right).$$

 □

Theorem 5.

Monotonicity: Let${\overline{\overline{vn}}}_g=\langle \left[{\overline{\overline{ts}}}_g^{LO},{\overline{\overline{ts}}}_g^{UP}\right],\left[{\overline{\overline{is}}}_g^{LO},{\overline{\overline{is}}}_g^{UP}\right],\left[{\overline{\overline{fs}}}_g^{LO},{\overline{\overline{fs}}}_g^{UP}\right]\rangle (g=1,\mathrm{2...},s)$and${\overline{\overline{vn}}}_g^{*}=\langle \left[{\overline{\overline{ts}}}_g^{LO*},{\overline{\overline{ts}}}_g^{UP*}\right],\left[{\overline{\overline{is}}}_g^{LO*},{\overline{\overline{is}}}_g^{UP*}\right],\left[{\overline{\overline{fs}}}_g^{LO*},{\overline{\overline{fs}}}_g^{UP*}\right]\rangle (g=1,2...,s)$ be two groups of INNs, where $T_g=\underset{h=1}{\overset{g-1}{{\displaystyle \otimes }}}\hspace{0.17em}\overline{\overline{SE}}\left({\overline{\overline{vn}}}_h\right),T^{*}{}_g=\underset{h=1}{\overset{g-1}{{\displaystyle \otimes }}}\hspace{0.17em}\overline{\overline{SE}}\left({\overline{\overline{vn}}}^{*}{}_h\right),(g=2,\dots ,s),T_1=T_1{}^{*}=1$ and $\overline{\overline{SE}}\left({\overline{\overline{vn}}}_h\right)$ and $\left({\overline{\overline{vn}}}^{*}{}_h\right)$ are the scores of INNs ${\overline{\overline{vn}}}_h$ and ${\overline{\overline{vn}}}^{*}{}_h$. Then:

$$GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)\le GINSh-SkPW{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1{}^{*},{\overline{\overline{vn}}}_2{}^{*},\dots ,{\overline{\overline{vn}}}_s{}^{*}\right).$$

(22)

Proof. 

The proof of Theorem (5) directly follows from Theorem (4).

Further, we shall discuss a few cases of the developed AGO with respect to parameter $\Re$, which are listed below:

(1)

If $\mathsf{\Upsilon }=1$, then the GINSh–SkPWA operator reduces into an INSS prioritized weighted average (PWA) operator:

$$\begin{array}{l}GINSh-SkPWA\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}{\overline{\overline{vn}}}_g\\ =\langle \left[1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}\left(1-{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}\right)-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}\left(1-{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}\right)-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],[{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}{\left({\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}+1\right\}}^{\frac{1}{\mathfrak{A}}},\\ \hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}{\left({\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}+1\right\}}^{\frac{1}{\mathfrak{A}}}],\left[{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

(23)

(2)

If $\mathsf{\Upsilon }=1$ and $\mathfrak{A}=0$, then the GINSh-SkPWA operator reduces to an IN prioritized weighted average operator based on algebraic operation. That is:

$$\begin{array}{l}GINSh-SkPW{A}_{\mathfrak{A}=0}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}{\overline{\overline{vn}}}_g\\ =\langle \left[1-\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left(1-{\overline{\overline{ts}}}_g^{LO}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}}},1-\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left(1-{\overline{\overline{ts}}}_g^{UP}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}}}\right],[\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left({\overline{\overline{is}}}_g^{LO}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}}},\hspace{0.17em}\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left({\overline{\overline{is}}}_g^{UP}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}}}],\left[\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}}},\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{\oplus }}{T}_g}}}\right]\rangle .\end{array}$$

(24)

 □

5.2. Some Generalized Interval Neutrosophic Schweizer-Sklar Power Geometric Aggregation Operators

In this subsection, we develop a generalized interval neutrosophic Schweizer-Sklar prioritized weighted geometric (GINSh-SkPWG) operator and discuss its desirable properties and some particular cases.

Definition 4.

For a group of INNs ${\overline{\overline{vn}}}_g\left(g=1,2,\dots ,s\right),$ the GIFSh–SkPWG operator is a mapping ${\Im }^s\to \Im ,$

$$GINSh-SkPWG{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\frac{1}{\mathsf{\Upsilon }}\left(\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left(\mathsf{\Upsilon }{\overline{\overline{vn}}}_g\right)}^{\frac{T_g}{\underset{h=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g}}\right),$$

(25)

where $\mathsf{\Upsilon }\in \left(0,+\infty \right)$, $T_g=\underset{h=1}{\overset{g-1}{{\displaystyle \otimes }}}\hspace{0.17em}\overline{\overline{SE}}\left({\overline{\overline{vn}}}_h\right),(g=2,\dots ,s),T_1=1$, and$\overline{\overline{SE}}\left({\overline{\overline{vn}}}_h\right)$is the score of INN${\overline{\overline{vn}}}_h$.

Theorem 6.

Let ${\overline{\overline{vn}}}_g\left(g=1,2,\dots ,s\right)$ be a group of INNs, then the value aggregated employing Definition (4) is still INN, and we have:

$$\begin{array}{l}GINSh-SkPWG{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\\ \langle \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^{LO}\right)}^{\varsigma }-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\hspace{0.17em}\\ \left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{LO\hspace{0.17em}}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{LO\hspace{0.17em}}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^U\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

(26)

Proof. 

In the following, we first prove:

$$\begin{array}{l}\mathsf{\Upsilon }{\overline{\overline{vn}}}_1^{\frac{T_1}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \mathsf{\Upsilon }{\overline{\overline{vn}}}_2^{\frac{T_2}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \dots \times \mathsf{\Upsilon }{\overline{\overline{vn}}}_s^{\frac{T_s}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\\ =\langle \left[{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\\ \left[1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

(27)

by utilizing a mathematical induction on $s$.

For $s=2$.

From the operational rules defined for INNs in Definition (5), we have:

$$\begin{array}{ll}\mathsf{\Upsilon }{\overline{\overline{vn}}}_1=& \langle \left[1-{\left\{\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\left[{\left\{\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ & \left[{\left\{\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\end{array}$$

and:

$$\begin{array}{ll}\mathsf{\Upsilon }{\overline{\overline{vn}}}_1^{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}=& \langle \left[{\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_1^{LO}\right)}^{\varsigma }-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ & \left[1-{\left\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\\ & \left[1-{\left\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

Similarly:

$$\begin{array}{ll}\mathsf{\Upsilon }{\overline{\overline{vn}}}_2^{\frac{T_2}{{\displaystyle \sum _{g=1}^2{T}_g}\hspace{0.17em}}}& =\langle \left[{\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_2^{LO}\right)}^{\varsigma }-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ & \left[1-{\left\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\\ & \left[1-{\left\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

Then:

$$\begin{gathered} \begin{array}{l}\mathsf{\Upsilon }{\overline{\overline{vn}}}_1^{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \mathsf{\Upsilon }{\overline{\overline{vn}}}_2^{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\\ =\langle \hspace{0.17em}[{\left\{{\left({\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}+{\left({\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}},\\ \hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}{\left\{{\left({\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}+{\left({\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}}],\end{array} \\ \begin{array}{l}[1-{\left\{{\left(1-\left(1-{\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}+{\left(1-\left(1-{\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\varsigma }}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}},\\ 1-{\left\{{\left(1-\left(1-{\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}+{\left(1-\left(1-{\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}}],\end{array} \\ \begin{array}{l}\hspace{0.17em}[1-{\left\{{\left(1-\left(1-{\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_1^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}+{\left(1-\left(1-{\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_2^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}},\\ 1-{\left\{{\left(1-\left(1-{\left(\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_1^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}+{\left(1-\left(1-{\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_2^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)\right)}^{\mathfrak{A}}-1\right\}}^{\frac{1}{\mathfrak{A}}}]\rangle ,\end{array} \\ \begin{array}{l}\mathsf{\Upsilon }{\overline{\overline{vn}}}_1^{\frac{T_1}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \mathsf{\Upsilon }{\overline{\overline{vn}}}_2^{\frac{T_2}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\\ =\langle \left[{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[1-{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\\ \hspace{0.17em}\left[1-{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{2}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ;\end{array} \end{gathered}$$

If Equation (30) holds for $s=m$:

$$\begin{array}{l}\mathsf{\Upsilon }{\overline{\overline{vn}}}_1^{\frac{T_1}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \mathsf{\Upsilon }{\overline{\overline{vn}}}_2^{\frac{T_2}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \dots \times \mathsf{\Upsilon }{\overline{\overline{vn}}}_m^{\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\\ =\langle \left[{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^U\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \hspace{0.17em}\left[1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

Then, when $s=m+1,$ by the operational rules given in Definition (5), we have:

$$\begin{array}{l}\mathsf{\Upsilon }{\overline{\overline{vn}}}_1^{\frac{T_1}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \mathsf{\Upsilon }{\overline{\overline{vn}}}_2^{\frac{T_2}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \dots \times \mathsf{\Upsilon }{\overline{\overline{vn}}}_{m+1}^{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}=\mathsf{\Upsilon }{\overline{\overline{vn}}}_1^{\frac{T_1}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \mathsf{\Upsilon }{\overline{\overline{vn}}}_2^{\frac{T_2}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \dots \times \mathsf{\Upsilon }{\overline{\overline{vn}}}_m^{\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}+\mathsf{\Upsilon }{\overline{\overline{vn}}}_{m+1}^{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\\ =\langle \left[{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\\ \left[1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}\frac{T_m}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle +\\ \langle \left[{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_{m+1}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_{m+1}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[1-{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_{m+1}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_{m+1}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\\ \left[1-{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_{m+1}^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_{m+1}^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\end{array}$$

$$\begin{array}{l}\mathsf{\Upsilon }{\overline{\overline{vn}}}_1^{\frac{T_1}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\times \mathsf{\Upsilon }{\overline{\overline{vn}}}_2^{\frac{T_2}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}+\dots +\mathsf{\Upsilon }{\overline{\overline{vn}}}_{m+1}^{\frac{T_{m+1}}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\\ =\langle \left[{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{ts}}}_g^U\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[1-{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \hspace{0.17em}\left[1-{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^U\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{m+1}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{m}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

That is, Equation (30) is true for $g=m+1.$ Thus, Equation (30), is true for all $g.$ Then:

$$\begin{array}{l}\frac{1}{\mathsf{\Upsilon }}\left(\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}\mathsf{\Upsilon }{\overline{\overline{vn}}}_g^{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\right)=\\ \hspace{0.17em}\langle \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \hspace{0.17em}\left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle ,\end{array}$$

Therefore:

$$\begin{array}{l}GINSh-SkPWG{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\\ \hspace{0.17em}\langle \left[{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}},{1-\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right],\\ \hspace{0.17em}\left[{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\frac{1}{\mathsf{\Upsilon }}{\left(1-{\left(\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\left(\mathsf{\Upsilon }{\left({\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\left(\mathsf{\Upsilon }-1\right)\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right)}^{\frac{1}{\mathfrak{A}}}\right)}^{\mathfrak{A}}-\left(\frac{1}{\mathsf{\Upsilon }}-1\right)\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

which completes the proof of Theorem 2.  □

Similar to the GINSh-SkPWA operator, the GINSh-SkPWGA operators have the properties of idempotency, boundedness, and monotonicity.

Further, we shall discuss a few cases of the developed aggregation operator with respect to parameter $\mathsf{\Upsilon }$, which are listed below:

(1)

If $\mathsf{\Upsilon }=1$, then the GINSh-SkPWGA operator reduces to an INSS prioritized weighted geometric average (INPWGA) operator:

$$\begin{array}{l}GINSh-SkPG{A}_{\mathsf{\Upsilon }}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left({\overline{\overline{vn}}}_g\right)}^{\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}\\ =\langle \left[{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right],[1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},\\ 1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}],\left[1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}},1-{\left\{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{\mathfrak{A}}-\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}+1\right\}}^{\frac{1}{\mathfrak{A}}}\right]\rangle .\end{array}$$

(28)

(2)

If $\mathsf{\Upsilon }=1$ and $\mathfrak{A}=0$, then the GINSSPWGA operator reduces to an IN prioritized weighted geometric average operator based on algebraic operation. That is:

$$\begin{array}{l}GINSh-SkPWG{A}_{\mathfrak{A}=0}\left({\overline{\overline{vn}}}_1,{\overline{\overline{vn}}}_2,\dots ,{\overline{\overline{vn}}}_s\right)=\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left({\overline{\overline{vn}}}_g\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}}\\ =\langle \left[\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left({\overline{\overline{ts}}}_g^{LO}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}},\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left({\overline{\overline{ts}}}_g^{UP}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}}\right],\left[1-\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left(1-{\overline{\overline{is}}}_g^{LO}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}},1-\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left(1-{\overline{\overline{is}}}_g^{UP}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}}\right],\left[1-\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left(1-{\overline{\overline{fs}}}_g^{LO}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}},1-\underset{g=1}{\overset{s}{{\displaystyle \otimes }}}{\left(1-{\overline{\overline{fs}}}_g^{UP}\right)}^{{}^{\frac{T_g}{\underset{g=1}{\overset{s}{{\displaystyle \oplus }}}{T}_g\hspace{0.17em}}}}\right]\rangle .\end{array}$$

(29)

6. Models for Multiple-Attribute Decision Making Established on Proposed Aggregation Operators

In this section, we develop MADM methods based on GINSh-SkPWA and GINSh-SkPWGA operators to deal with interval neutrosophic information. The following assumptions or notions are employed to state the MADM problems. Let $\overline{\overline{AE}}=\left\{{\overline{\overline{AE}}}_1,{\overline{\overline{AE}}}_2,\dots ,{\overline{\overline{AE}}}_s\right\}$ be the set of alternatives, and $\overline{\overline{CA}}=\left\{{\overline{\overline{CA}}}_1,{\overline{\overline{CA}}}_2,\dots ,{\overline{\overline{CA}}}_t\right\}$ be the set of attributes with a prioritization along with the attributes signified by the linear-ordering ${\overline{\overline{CA}}}_1>{\overline{\overline{CA}}}_2>\dots .>{\overline{\overline{CA}}}_{t-1}>{\overline{\overline{CA}}}_t$, then the specific attribute ${\overline{\overline{CA}}}_q$ has a superior priority than ${\overline{\overline{CA}}}_r$ if $q<r.$ Assume that $\overline{\overline{VN}}={\left({\overline{\overline{vn}}}_{gh}\right)}_{s\times t}={\left(\left[{\overline{\overline{ts}}}_{gh}^L,{\overline{\overline{ts}}}_{gh}^U\right],\left[{\overline{\overline{is}}}_{gh}^L,{\overline{\overline{is}}}_{gh}^U\right],\left[{\overline{\overline{fs}}}_{gh}^L,{\overline{\overline{fs}}}_{gh}^U\right]\right)}_{s\times t}$ is the INN decision matrix, where $\left[{\overline{\overline{ts}}}_{gh}^L,{\overline{\overline{ts}}}_{gh}^U\right],\left[{\overline{\overline{is}}}_{gh}^L,{\overline{\overline{is}}}_{gh}^U\right]$ and $\left[{\overline{\overline{fs}}}_{gh}^L,{\overline{\overline{fs}}}_{gh}^U\right]$ state the interval neutrosophic TM function, interval neutrosophic IM function, and interval neutrosophic FM function, respectively, such that $\left[{\overline{\overline{ts}}}_{gh}^L,{\overline{\overline{ts}}}_{gh}^U\right],\left[{\overline{\overline{is}}}_{gh}^L,{\overline{\overline{is}}}_{gh}^U\right],\left[{\overline{\overline{fs}}}_{gh}^L,{\overline{\overline{fs}}}_{gh}^U\right]\subseteq \left[0,1\right],0\le {\overline{\overline{ts}}}_{gh}^U+{\overline{\overline{is}}}_{gh}^U+{\overline{\overline{fs}}}_{gh}^U\le 3,(g=1,2,\dots ,s;h=1,2...,t)$. The aim of this problem is to rank the alternatives.

6.1. The Model Established on GINSh-SkPWA Operator

Subsequently, a procedure for positioning and picking of the mainly superior alternative(s) is offered as follows.

Step 1. Equalize the decision matrix.

First, the decision-making information ${\overline{\overline{vn}}}_{gh}$ in matrix $\overline{\overline{VN}}={\left({\overline{\overline{vn}}}_{gh}\right)}_{s\times t}$ must be equalized. Accordingly, the criteria can be categorized into the benefit and cost types. For the criterion of benefit type, the evaluation information does not need to be distorted, but for the criterion of cost type, it should be customized with the complement set.

Thus, the decision matrix can be equalized by exploiting the formula:

$${\overline{\overline{vn}}}_{gh}=\hspace{0.17em}\{\begin{array}{l}\hspace{0.17em}\langle \left[{\overline{\overline{ts}}}_{gh}^L,{\overline{\overline{ts}}}_{gh}^U\right],\left[{\overline{\overline{is}}}_{gh}^L,{\overline{\overline{is}}}_{gh}^U\right],\left[{\overline{\overline{fs}}}_{gh}^L,{\overline{\overline{fs}}}_{gh}^U\right]\rangle \hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}for\hspace{0.17em}benefit\hspace{0.17em}type\hspace{0.17em}attribute\hspace{0.17em}{\overline{\overline{CA}}}_{gh}\\ \langle \left[{\overline{\overline{fs}}}_{gh}^L,{\overline{\overline{fs}}}_{gh}^U\right],\left[1-{\overline{\overline{is}}}_{gh}^U,1-{\overline{\overline{is}}}_{gh}^L\right],\left[{\overline{\overline{ts}}}_{gh}^L,{\overline{\overline{ts}}}_{gh}^U\right]\rangle \hspace{0.17em}\hspace{0.17em}\hspace{0.17em}\hspace{0.17em}for\hspace{0.17em}\cos t\hspace{0.17em}type\hspace{0.17em}attribute\hspace{0.17em}{\overline{\overline{CA}}}_{gh}\hspace{0.17em}\hspace{0.17em}\end{array}$$

(30)

Step 2. Find out the values of $T_{gh}(g=1,2,\dots ,s;h=1,2,\dots ,t)$ by exploiting the following formula:

$$T_{gh}={\displaystyle \prod _{h=1}^{t-1}\overline{\overline{SE}}}\left({\overline{\overline{vn}}}_{gh}\right)\left(g=1,2,\dots ,s;h=2,3,\dots .,t\right)$$

(31)

where $T_{g1}=1\hspace{0.17em}\mathrm{for}\mathrm{g}=1,2,\dots ,s.$

Step 3. Exploit the decision information from decision matrix $\overline{\overline{VN}}={\left({\overline{\overline{vn}}}_{gh}\right)}_{s\times t}$ and the INSh-SkPWA operator specified in Equation (18):

$${\overline{\overline{vn}}}_g=\langle \left[{\overline{\overline{ts}}}_g^L,{\overline{\overline{ts}}}_g^U\right],\left[{\overline{\overline{is}}}_g^L,{\overline{\overline{is}}}_g^U\right],\left[{\overline{\overline{fs}}}_g^L,{\overline{\overline{fs}}}_g^U\right]\rangle =GINSh-SkPWA\left({\overline{\overline{vn}}}_{g1},{\overline{\overline{vn}}}_{g2},\dots ,{\overline{\overline{vn}}}_{gt}\right)$$

(32)

to acquire the overall INN ${\overline{\overline{vn}}}_g(g=1,2,\dots ,s)$.

Step 4. Discover the score values $\overline{\overline{SE}}\left({\overline{\overline{vn}}}_g\right)(g=1,2,\dots ,s)$ of the overall INNs ${\overline{\overline{vn}}}_g(g=1,2,\dots .,s)$ by utilizing Definition A2 given in Appendix A to rank all the alternatives ${\overline{\overline{AE}}}_g(g=1,2,\dots ,s)$.

Step 5. Rank all the alternatives ${\overline{\overline{AE}}}_g(g=1,2,\dots ,s)$ and pick the preeminent one exploiting Definition A3 given in Appendix A.

Step 6. End.

6.2. The Model Established on GINSh–SkPWGA Operator

Steps 1 and 2 are same as those given for the GINSh-SkPWA operator.

Step 3. Exploit the decision information from decision matrix $\overline{\overline{VN}}={\left({\overline{\overline{vn}}}_{gh}\right)}_{s\times t}$ and the INSh-SkPWG operator specified in Equation (26):

$${\overline{\overline{vn}}}_g=\langle \left[{\overline{\overline{ts}}}_g^L,{\overline{\overline{ts}}}_g^U\right],\left[{\overline{\overline{is}}}_g^L,{\overline{\overline{is}}}_g^U\right],\left[{\overline{\overline{fs}}}_g^L,{\overline{\overline{fs}}}_g^U\right]\rangle =GINSh-SkPWGA\left({\overline{\overline{vn}}}_{g1},{\overline{\overline{vn}}}_{g2},\dots ,{\overline{\overline{vn}}}_{gt}\right)$$

(33)

to acquire the overall INN ${\overline{\overline{vn}}}_g(g=1,2,\dots ,s)$.

Step 4. Discover the score values $\overline{\overline{SE}}\left({\overline{\overline{vn}}}_g\right)(g=1,2,\dots ,s)$ of the overall INNs ${\overline{\overline{vn}}}_g(g=1,2,\dots .,s)$ using Definition A2 given in Appendix A to order all the alternatives ${\overline{\overline{AE}}}_g(g=1,2,\dots ,s)$.

Step 5. Rank all the alternatives ${\overline{\overline{AE}}}_g(g=1,2,\dots ,s)$ and pick the preeminent one exploiting Definition A3 given in Appendix A.

Step 6. End.

7. Numerical Example

In this part, a numerical example is modified from [16] about assessing technological innovation competency for high-tech enterprises with INNs.

Assume that ${\overline{\overline{AE}}}_g(g=1,\dots ,5)$ signifies the promising five high-tech enterprises (alternatives), which are to be evaluated. The experts exploit the following four attributes to evaluate the promising five high-tech enterprises: (1) the innovative culture signified by ${\overline{\overline{CA}}}_1$; (2) the infrastructure and funding for the enlargement of industry signified by ${\overline{\overline{CA}}}_2$; (3) the organizational learning and knowledge management signified by ${\overline{\overline{CA}}}_3$; and (4) support for technological innovation signified by ${\overline{\overline{CA}}}_4.$ The following priority relationship ${\overline{\overline{CA}}}_1>{\overline{\overline{CA}}}_2>{\overline{\overline{CA}}}_3>{\overline{\overline{CA}}}_4$ between the four attributes is considered. The experts evaluated the promising five high-tech enterprises ${\overline{\overline{AE}}}_g(g=1,\dots ,5)$ with respect to the above four attributes and provide the evaluation information in the form of INNs listed in

Table 2. Interval neutrosophic number (INN) decision matrix $\overline{\overline{VN}}={\left({\overline{\overline{vn}}}_{gh}\right)}_{5\times 4}$.

	${\overline{\overline{\mathit{C}\mathit{A}}}}_1$	${\overline{\overline{\mathit{C}\mathit{A}}}}_2$	${\overline{\overline{\mathit{C}\mathit{A}}}}_3$	${\overline{\overline{\mathit{C}\mathit{A}}}}_4$
${\overline{\overline{AE}}}_1$	$\langle \left[0.6,0.8\right],\left[0.7,0.8\right],\left[0.3,0.4\right]\rangle$	$\langle \left[0.7,0.8\right],\left[0.4,0.5\right],\left[0.2,0.3\right]\rangle$	$\langle \left[0.4,0.5\right],\left[0.7,0.8\right],\left[0.3,0.4\right]\rangle$	$\langle \left[0.6,0.7\right],\left[0.5,0.8\right],\left[0.3,0.5\right]\rangle$
${\overline{\overline{AE}}}_2$	$\langle \left[0.8,0.9\right],\left[0.5,0.7\right],\left[0.1,0.3\right]\rangle$	$\langle \left[0.7,0.8\right],\left[0.4,0.6\right],\left[0.2,0.3\right]\rangle$	$\langle \left[0.7,0.8\right],\left[0.1,0.2\right],\left[0.6,0.7\right]\rangle$	$\langle \left[0.6,0.8\right],\left[0.4,0.5\right],\left[0.3,0.5\right]\rangle$
${\overline{\overline{AE}}}_3$	$\langle \left[0.6,0.7\right],\left[0.5,0.7\right],\left[0.3,0.4\right]\rangle$	$\langle \left[0.5,0.6\right],\left[0.8,0.9\right],\left[0.4,0.6\right]\rangle$	$\langle \left[0.4,0.5\right],\left[0.6,0.7\right],\left[0.3,0.4\right]\rangle$	$\langle \left[0.7,0.8\right],\left[0.4,0.5\right],\left[0.3,0.5\right]\rangle$
${\overline{\overline{AE}}}_4$	$\langle \left[0.6,0.8\right],\left[0.3,0.4\right],\left[0.5,0.6\right]\rangle$	$\langle \left[0.5,0.7\right],\left[0.4,0.5\right],\left[0.5,0.6\right]\rangle$	$\langle \left[0.4,0.6\right],\left[0.5,0.7\right],\left[0.3,0.5\right]\rangle$	$\langle \left[0.6,0.7\right],\left[0.5,0.7\right],\left[0.2,0.3\right]\rangle$
${\overline{\overline{AE}}}_5$	$\langle \left[0.7,0.8\right],\left[0.5,0.6\right],\left[0.4,0.5\right]\rangle$	$\langle \left[0.3,0.4\right],\left[0.7,0.8\right],\left[0.3,0.4\right]\rangle$	$\langle \left[0.7,0.8\right],\left[0.5,0.6\right],\left[0.1,0.2\right]\rangle$	$\langle \left[0.3,0.4\right],\left[0.7,0.8\right],\left[0.2,0.3\right]\rangle$

.

Now, we exploit the developed approach to solve the MADM problem.

Step 1. Since all the attributes are of same type, there is no need to equalize decision matrix $\overline{\overline{VN}}={\left({\overline{\overline{vn}}}_{gh}\right)}_{5\times 4}$.

Step 2. Discover the values of $T_{gh}(g=1,2,\dots ,5;h=2,\dots ,4)$ by exploiting Formula (34), and we have:

$$T_{gh}=\left[\begin{array}{rrrr}\hfill 1& \hfill 1.6& \hfill 3.28& \hfill 7.085\\ \hfill 1& \hfill 2.05& \hfill 4.1& \hfill 16.390\\ \hfill 1& \hfill 1.7& \hfill 2.04& \hfill 5.029\\ \hfill 1& \hfill 1.8& \hfill 2.88& \hfill 7.776\\ \hfill 1& \hfill 1.75& \hfill 2.188& \hfill 7.848\end{array}\right]$$

Step 3. Exploit the decision information from decision matrix $\overline{\overline{VN}}={\left({\overline{\overline{vn}}}_{gh}\right)}_{5\times 4}$ and the INSSPWA operator specified in Formula (35):

$$\begin{array}{l}{\overline{\overline{vn}}}_1=\langle \left[0.5871,0.7085\right],\left[0.5294,0.7404\right],\left[0.2803,0.4250\right]\rangle ;\\ {\overline{\overline{vn}}}_2=\langle \left[0.6506,0.8109\right],\left[0.2223,0.2871\right],\left[0.2687,0.4741\right]\rangle ;\\ {\overline{\overline{vn}}}_3=\langle \left[0.6332,0.7453\right],\left[0.4790,0.5939\right],\left[0.3208,0.4742\right]\rangle ;\\ {\overline{\overline{vn}}}_4=\langle \left[0.5594,0.6983\right],\left[0.4580,0.6254\right],\left[0.2409,0.3618\right]\rangle ;\\ {\overline{\overline{vn}}}_5=\langle \left[0.4981,0.6349\right],\left[0.6332,0.7364\right],\left[0.1731,0.2882\right]\rangle ;\end{array}$$

Step 4. Discover the score values $\overline{\overline{SE}}\left({\overline{\overline{vn}}}_g\right)(g=1,2,\dots ,5)$ of the overall INNs ${\overline{\overline{vn}}}_g(g=1,2,\dots .,5)$ by Definition 2 to rank all the alternatives ${\overline{\overline{AE}}}_g(g=1,2,\dots ,5)$. We have:

$$\overline{\overline{SE}}\left({\overline{\overline{vn}}}_1\right)=\hspace{0.17em}1.6603,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_2\right)=\hspace{0.17em}2.1046\hspace{0.17em},\overline{\overline{SE}}\left({\overline{\overline{vn}}}_3\right)=1.7553,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_4\right)=1.7858,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_5\right)=1.6511.\hspace{0.17em}$$

Step 5. According to the score values, the ranking order of the alternatives is ${\overline{\overline{AE}}}_2>{\overline{\overline{AE}}}_4>{\overline{\overline{AE}}}_3>{\overline{\overline{AE}}}_1>{\overline{\overline{AE}}}_5.$ Hence, the best high-tech enterprise is ${\overline{\overline{AE}}}_2$, while the worst one is ${\overline{\overline{AE}}}_5$.

Now, we exploit the method established on the GINSh-SkPWGA operator.

Steps 1 and 2 are the same.

Step 3. Exploit the decision information from decision matrix $\overline{\overline{VN}}={\left({\overline{\overline{vn}}}_{gh}\right)}_{5\times 4}$ and the INSSPWA operator specified in Formula (36), and we have:

$$\begin{array}{l}{\overline{\overline{vn}}}_1=\langle \left[0.5354,0.6462\right],\left[0.5922,0.7876\right],\left[0.2893,0.4521\right]\rangle ;\\ {\overline{\overline{vn}}}_2=\langle \left[0.6294,0.8040\right],\left[0.3712,0.4986\right],\left[0.3792,0.5453\right]\rangle ;\\ {\overline{\overline{vn}}}_3=\langle \left[0.5555,0.6626\right],\left[0.6195,0.7797\right],\left[0.3202,0.4983\right]\rangle ;\\ {\overline{\overline{vn}}}_4=\langle \left[0.5251,0.6812\right],\left[0.4783,0.6741\right],\left[0.3131,0.4441\right]\rangle ;\\ {\overline{\overline{vn}}}_5=\langle \left[0.3412,0.4498\right],\left[0.6706,0.7765\right],\left[0.2222,0.3244\right]\rangle ;\end{array}$$

Step 4. Discover the score values $\overline{\overline{SE}}\left({\overline{\overline{vn}}}_g\right)(g=1,2,\dots ,5)$ of the overall INNs ${\overline{\overline{vn}}}_g(g=1,2,\dots .,5)$ by Definition 2 to order all the alternatives ${\overline{\overline{AE}}}_g(g=1,2,\dots ,5)$. We have:

$$\overline{\overline{SE}}\left({\overline{\overline{vn}}}_1\right)=\hspace{0.17em}1.5303,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_2\right)=\hspace{0.17em}1.8194\hspace{0.17em},\overline{\overline{SE}}\left({\overline{\overline{vn}}}_3\right)=1.5002,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_4\right)=1.6484,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_5\right)=1.3986.\hspace{0.17em}$$

Step 5. According to the score values, the ranking order of the alternatives is ${\overline{\overline{AE}}}_2>{\overline{\overline{AE}}}_4>{\overline{\overline{AE}}}_1>{\overline{\overline{AE}}}_3>{\overline{\overline{AE}}}_5.$ Hence, the best high-tech enterprise is ${\overline{\overline{AE}}}_2$, while the worst one is ${\overline{\overline{AE}}}_5$.

7.1. Effect of the Parameters $\mathsf{\Upsilon }$ and $\mathfrak{A}$ on Decision Result

Firstly, we fix the value of the parameter $\mathfrak{A}$ and give different values to parameter $\mathsf{\Upsilon }$. The effect of parameter $\mathsf{\Upsilon }$ on the decision results exploiting the GINSh–SkPWA operator and GINSh-SkPWG operator is revealed in Figure 1 and Figure 2, respectively. Secondly, we fix the value of parameter $\mathsf{\Upsilon }$ and give different values to parameter $\mathfrak{A}$. The effect of parameter $\mathsf{\Upsilon }$ on the decision results exploiting the GINSh-SkPWA operator and GINSh-SkPWG operator is revealed in Figure 3 and Figure 4, correspondingly.

From Figure 1 and Figure 2, one can perceive that although the ranking order for dissimilar values of parameter $\mathsf{\Upsilon }$ may be diverse, the best and worst alternatives stay the same. From Figure 1 and Figure 2, we can also perceive that, when the values of parameter $\mathsf{\Upsilon }$ go up, exploiting the INSh-SkPWA operator, the score values of the alternatives are reduced, while when exploiting the INSh-SkPWG operator, the score values of the alternatives raises.

Similarly, from Figure 3 and Figure 4, one can perceive that the ranking order for dissimilar values of the parameter $\mathfrak{A}$ may be different, but the best and worst alternatives remain the same. From Figure 3 and Figure 4, we can also perceive that, when the values of parameter $\mathfrak{A}$ reduce, exploiting the INSh-SkPWA operator, the score values of the alternatives go up, while when exploiting the INSh-SkPWG operator, the score values of the alternatives are reduced.

7.2. Comparison with Existing Approaches

In the following, we compare our developed approach established on these innovative developed AGOs with some existing approaches, such as the approaches developed by Zhang et al. [12], Nagarajan et al. [47], TOPSIS [55], and MABAC [52]. The score values and ranking orders are specified in

Table 3. Comparison with different approaches.

Approach	Score Values	Ranking Order
INWA operator [12]	$\begin{array}{l}\overline{\overline{SE}}\left({\overline{\overline{vn}}}_1\right)=\hspace{0.17em}1.2804,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_2\right)=\hspace{0.17em}1.3556\hspace{0.17em},\overline{\overline{SE}}\left({\overline{\overline{vn}}}_3\right)=1.3071,\\ \overline{\overline{SE}}\left({\overline{\overline{vn}}}_4\right)=1.2539,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_5\right)=1.2143.\end{array}$	${\overline{\overline{AE}}}_2>{\overline{\overline{AE}}}_3>{\overline{\overline{AE}}}_1>{\overline{\overline{AE}}}_4>{\overline{\overline{AE}}}_5.$
INSSWA operator [47] $(\varsigma =2).$	$\begin{array}{l}\overline{\overline{SE}}\left({\overline{\overline{vn}}}_1\right)=\hspace{0.17em}1.5665,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_2\right)=\hspace{0.17em}1.8497\hspace{0.17em},\overline{\overline{SE}}\left({\overline{\overline{vn}}}_3\right)=1.6198,\\ \overline{\overline{SE}}\left({\overline{\overline{vn}}}_4\right)=1.6762,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_5\right)=1.4436.\end{array}$	${\overline{\overline{AE}}}_2>{\overline{\overline{AE}}}_4>{\overline{\overline{AE}}}_3>{\overline{\overline{AE}}}_1>{\overline{\overline{AE}}}_5.$
TOPSIS [55]	$\begin{array}{l}RCC\left({\overline{\overline{vn}}}_1\right)=\hspace{0.17em}\begin{array}{r}\hfill 0.3768\end{array},RCC\left({\overline{\overline{vn}}}_2\right)=\hspace{0.17em}\begin{array}{r}\hfill 0.3840\end{array}\hspace{0.17em},RCC\left({\overline{\overline{vn}}}_3\right)=\begin{array}{r}\hfill 0.3735\end{array},\\ RCC\left({\overline{\overline{vn}}}_4\right)=\begin{array}{r}\hfill 0.3746\end{array},RCC\left({\overline{\overline{vn}}}_5\right)=\begin{array}{r}\hfill 0.3535\end{array}.\hspace{0.17em}\end{array}$	${\overline{\overline{AE}}}_2>{\overline{\overline{AE}}}_4>{\overline{\overline{AE}}}_1>{\overline{\overline{AE}}}_3>{\overline{\overline{AE}}}_5.$
MABAC [52]	$\begin{array}{l}Q\left({\overline{\overline{vn}}}_1\right)=\hspace{0.17em}1.3821,Q\left({\overline{\overline{vn}}}_2\right)=\hspace{0.17em}1.5677\hspace{0.17em},Q\left({\overline{\overline{vn}}}_3\right)=1.3911,\\ Q\left({\overline{\overline{vn}}}_4\right)=1.4992,Q\left({\overline{\overline{vn}}}_5\right)=1.4695.\end{array}$	${\overline{\overline{AE}}}_2>{\overline{\overline{AE}}}_4>{\overline{\overline{AE}}}_5>{\overline{\overline{AE}}}_3>{\overline{\overline{AE}}}_1.$
INSSWG operator [47]$(\varsigma =2).$	$\begin{array}{l}\overline{\overline{SE}}\left({\overline{\overline{vn}}}_1\right)=\hspace{0.17em}1.6195,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_2\right)=\hspace{0.17em}1.9158\hspace{0.17em},\overline{\overline{SE}}\left({\overline{\overline{vn}}}_3\right)=1.7046,\\ \overline{\overline{SE}}\left({\overline{\overline{vn}}}_4\right)=1.7330,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_5\right)=1.5364.\end{array}$	${\overline{\overline{AE}}}_2>{\overline{\overline{AE}}}_4>{\overline{\overline{AE}}}_3>{\overline{\overline{AE}}}_1>{\overline{\overline{AE}}}_5.$
Proposed INSSPWA operator	$\begin{array}{l}\overline{\overline{SE}}\left({\overline{\overline{vn}}}_1\right)=\hspace{0.17em}1.6603,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_2\right)=\hspace{0.17em}2.1046\hspace{0.17em},\overline{\overline{SE}}\left({\overline{\overline{vn}}}_3\right)=1.7553,\\ \overline{\overline{SE}}\left({\overline{\overline{vn}}}_4\right)=1.7858,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_5\right)=1.6511.\end{array}$	${\overline{\overline{AE}}}_2>{\overline{\overline{AE}}}_4>{\overline{\overline{AE}}}_3>{\overline{\overline{AE}}}_1>{\overline{\overline{AE}}}_5.$
Proposed INSSPWG operator	$\begin{array}{l}\overline{\overline{SE}}\left({\overline{\overline{vn}}}_1\right)=\hspace{0.17em}1.5303,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_2\right)=\hspace{0.17em}1.8194\hspace{0.17em},\overline{\overline{SE}}\left({\overline{\overline{vn}}}_3\right)=1.5002,\\ \overline{\overline{SE}}\left({\overline{\overline{vn}}}_4\right)=1.6484,\overline{\overline{SE}}\left({\overline{\overline{vn}}}_5\right)=1.3986.\end{array}$	${\overline{\overline{AE}}}_2>{\overline{\overline{AE}}}_4>{\overline{\overline{AE}}}_1>{\overline{\overline{AE}}}_3>{\overline{\overline{AE}}}_5.$

.

From Table 3, we can perceive that the ordering acquired from the INWA [16], INSh-SkWA, and INSh–SkWG operators [47] and TOPSIS is the same. While solving the same problem utilizing the MABAC method [51], the ranking order is different. The best alternative remains the same, and only the worst alternative is changed. In the above methods, the weight vector of the criteria is calculated using PA operators. However, the existing AGOs do not judge the priority relationship among attributes. Thus, the proposed aggregation operators have some advantages over these aggregation operators. Firstly, they developed Sh-Sk operational rules that consist of variable parameters, which makes the decision process suppler. Secondly, the anticipated AGOs can judge the priority relationship along with attributes. Therefore, the enlarged AGOs in this article are more realistic and supple to be employed in the decision-making procedure.

8. Conclusions

In practical decision making, accessible information is frequently imperfect and incompatible, and the INS is a superior tool to signify such types of information. In this article, initially, a number of Schweizer-Sklar operational rules for INNs were developed. Secondly, we created two new AGOs, an INSh-SkPWA operator and an INSh-SkPWG operator, and discussed their desirable properties. The leading qualities of these enlarged Schweizer-Sklar AGOs are that they can consider the priority relationship among attributes and are more flexible due to variable parameters. Moreover, based on these Schweizer-Sklar prioritized aggregation operators, two novel MADM approaches we are instituted. The novelty of the proposed method is compared to other methods. It is shown in

Table A1. Comparison between the contributions of different authors to interval neutrosophic MADM methods.

Author Years	Interval Neutrosophic MADM Methods Based on Different Aggregation operators	Generalized Parameter	Schweizer-Sklar Operational Laws	Consider Priority Relationship among the Attributes
Zhang et al. [12] (2014)	IN weighted averaging and geometric operators	No	No	No
Ye and Du [54] (2019)	Similarity Measures	No	No	No
Zhang et al. [53] (2016)	An outranking approach	No	No	No
Tain et al. [51] (2016)	Cross entropy	No	No	No
Liu and Wang [32] (2016)	Prioritized OWA operators	No	No	Yes
Liu and Tang [27] (2016)	Power generalized aggregation operators	Yes	No	No
Peng and Dia [52] (2017)	MABAC and EDAS methods	No	No	No
Huang et al. [49] and Hu et al. [50] (2017)	VIKOR methods	No	No	No
Liu and You [36] (2017)	Muirhead Mean Operators	No	No	No
Khan et al. [19] (2018)	Dombi Power Bonferroni Mean operators	Yes	No	No
Liu et al. [22]	Power Hamy mean operators	Yes	No	No
Wei et al. [16] (2019)	Generalized Bonferroni mean Operators	No	No	No
Proposed Method	Generalized Schweitzer-Sklar prioritized Operators	Yes	Yes	Yes

of Appendix C. The proposed method is illustrated by a numerical example. This example is specified to confirm the realism and efficacy of the proposed approach, and a comparison with the presented approaches is also given. In future research, we will apply the proposed approach to some new applications, such as evaluation of traffic control management [46], tourism recourses [47], enterprise green technology innovation behavior [48], mobile robot navigation [56,57], and so on, or extend the proposed method to some more extended form of INSs.