Ultrafilter Equivalence and Asymptotic Types of Five Classical t-Norms

Abstract

We study five classical $t$-norms on the unit interval from the viewpoint of ultrafilter concentration. For a fixed ultrafilter $\mathcal U$ on $[0,1]$, we introduce an equivalence relation identifying two operations whenever they coincide on $A\times A$ for some $A\in\mathcal U$. We show that their asymptotic behavior is governed by two concentration regimes. In the near-$1$ regime, the five operations determine four distinct ultrafilter-equivalence classes. In the low-value regime, the Łukasiewicz, nilpotent minimum, and drastic $t$-norms collapse to the zero operation. We encode these reductions in a discrete quotient category and record simple ultrametric models for the two regimes. We further interpret the classification inside classical ultrapowers: the near-$1$ and near-$0$ regimes become exact algebraic phenomena on infinitesimal monads, and saturation yields a compactness principle for countable systems of asymptotic identities. Finally, we indicate how the same viewpoint interacts with residual fuzzy implications generated by $t$-norms.