Conditionally Cancellative Triangular Subnorm

• Conditionally cancellative triangular subnorms are binary operations on [0,1]² that relax full cancellation while maintaining weak associativity and monotonicity.
• They are constructed by combining strict t-norms with monotone generator functions through pseudo-inverse techniques to ensure precise algebraic behavior.
• Their definitive characterization resolves a long-standing problem in fuzzy set theory, enhancing tools for aggregation, uncertainty modeling, and data fusion.

A conditionally cancellative triangular subnorm is a binary operation defined on $[0,1]^2$ exhibiting weak forms of associativity, monotonicity, and cancellation, extending the classical theory of triangular norms and subnorms. Such functions arise naturally from combining strict t-norms with monotone generator functions via pseudo-inverse constructions, and they play a pivotal role in the classification of continuous Archimedean proper t-subnorms. The definitive characterization of these structures, as established in (Chen et al., 14 Jan 2026), resolves longstanding open problems in fuzzy set theory.

1. Algebraic Fundamentals

A triangular norm (t-norm) is a mapping $T: [0,1]^2 \rightarrow [0,1]$ fulfilling commutativity $(T1)$, associativity $(T2)$, monotonicity $(T3)$, and the existence of a neutral element $(T4)$: $$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$

A triangular subnorm (t-subnorm) relaxes $(T4)$ but enforces

$$(T5)\quad T(x,y)\leq \min\{x,y\}\quad\forall x,y\in [0,1].$$

T-norms are always t-subnorms; those failing $(T4)$ are termed proper.

Associated with cancellation properties are:

• The cancellation law: $T: [0,1]^2 \rightarrow [0,1]$0 or $T: [0,1]^2 \rightarrow [0,1]$1;
• The conditional cancellation law: $T: [0,1]^2 \rightarrow [0,1]$2.

2. Construction via Monotone Generators and Pseudo-Inverses

Given a monotone $T: [0,1]^2 \rightarrow [0,1]$3, one defines its pseudo-inverse as

$T: [0,1]^2 \rightarrow [0,1]$4

(where $T: [0,1]^2 \rightarrow [0,1]$5 is non-decreasing), satisfying

$T: [0,1]^2 \rightarrow [0,1]$6

With strict t-norm $T: [0,1]^2 \rightarrow [0,1]$7 and monotone $T: [0,1]^2 \rightarrow [0,1]$8, the operation

$T: [0,1]^2 \rightarrow [0,1]$9

produces a structure whose algebraic properties depend intricately on the functional form of $(T1)$0 and the set-theoretic configuration of its range.

3. Structural Characterization

The decisive result (Theorem 4.4 in (Chen et al., 14 Jan 2026)) stipulates:

Let $(T1)$1 be a strict t-norm, and $(T1)$2 be monotone with range $(T1)$3 and “holes”—

$(T1)$4

for countable $(T1)$5, gap intervals $(T1)$6, and distinguished points $(T1)$7.

Define

$(T1)$8

and let $(T1)$9 be the set encoding associativity-violating gap points.

Then $(T2)$0 is a conditionally cancellative t-subnorm if and only if:

• (i) $(T2)$1 is non-increasing, $(T2)$2 for $(T2)$3; or
• (ii) $(T2)$4 is non-decreasing and

$(T2)$5

Condition (ii) implies $(T2)$6 is constant on $(T2)$7 for some $(T2)$8 and strictly increasing on $(T2)$9; no further gap points are introduced by $(T3)$0.

4. Analytical Properties and Proof Outline

Conditional cancellation is verified by analyzing the effect of $(T3)$1 on $(T3)$2 and $(T3)$3:

• Failure occurs if $(T3)$4 or $(T3)$5. Associativity is breached if some triple $(T3)$6 yields a failure, occurring if any of $(T3)$7–$(T3)$8 are violated.

Propositions 4.1, 4.2, and 4.3 in (Chen et al., 14 Jan 2026) formalize these equivalences, ensuring that the three algebraic–set-theoretic conditions fully characterize the property.

5. Illustrative Examples

Example	Generator $(T3)$9	$(T4)$0	Property
(A) Cond. cancellative	$(T4)$1 for $(T4)$2;<br>$(T4)$3 for $(T4)$4	$(T4)$5	$(T4)$6 is cond. cancellative t-subnorm;<br>associative, fails cancellation.
(B) Cancellative	$(T4)$7 for $(T4)$8;<br>$(T4)$9	$$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$0	$$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$1 is cancellative t-subnorm.
(C) Not cond. cancell.	$$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$2 for $$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$3;<br>$$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$4	$$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$5	Fails conditional cancellation (and so cancellation).

The first two cases are verified by applying Theorem 4.4, demonstrating the effectiveness of the characterization.

6. Resolution of Mesiarová’s Problem and Implications

The work resolves the open problem, posed by Mesiarová in 2004, of characterizing additive generators $$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$6 for which $$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$7 defines continuous Archimedean proper t-subnorms. Standard generator duality reduces this to the general question for monotone $$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$8 and strict $$\begin{aligned} &(T1)\quad T(x,y)=T(y,x),\ &(T2)\quad T\left(T(x,y),z\right) = T\left(x, T(y,z)\right),\ &(T3)\quad T(x,y) \leq T(x,z)\quad \text{for } y\leq z,\ &(T4)\quad T(x,1) = x. \end{aligned}$$9 for which

$(T4)$0

is a continuous, conditionally cancellative, proper t-subnorm.

Theorem 5.1 in (Chen et al., 14 Jan 2026) confirms that a continuous $(T4)$1 emerges precisely when $(T4)$2 is continuous, non-decreasing, strictly increasing on $(T4)$3, with $(T4)$4 gap–structure as above, $(T4)$5, and the three algebraic conditions plus a boundary-continuity condition: $(T4)$6 All conditionally cancellative t-subnorms generated in this manner satisfy these combinatorial and analytic constraints, thereby completing the classification of continuous Archimedean proper t-subnorms.

7. Mathematical and Theoretical Significance

Conditionally cancellative triangular subnorms provide critical algebraic tools in fuzzy logic, aggregation theory, and the study of generalized means. Their definitive characterization by set-theoretic properties of monotone generators and strict t-norms brings closure to a central open problem in the field, enabling rigorous identification and utilization of these structures in both theoretical and applied contexts. The established equivalence between conditional cancellation and Archimedean property in the continuous case further refines the landscape of aggregation operators, supporting advanced applications in uncertainty modeling and data fusion.