Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.40678

Beyond left-continuity: t-norms on the fuzzy unit interval induced by pairs of t-norms

Rongjun Wu·Jie Sun·Hongliang Lai
View original source ↗Read source document ↗Export metadata ↓

Abstract

We define a binary operation $T_1\star T_2$ on the fuzzy unit interval $\I$ by extending the natural action of $T_1$ and $T_2$ on step functions. When both $T_1$ and $T_2$ are left-continuous, this operation coincides with the tensor product of the corresponding quantales and therefore yields a t-norm on $\I$. Without left-continuity, the situation becomes more subtle. We prove that if at least one of the two t-norms is continuous, then $T_1\star T_2$ is still a t-norm on $\I$. We also show by counterexample that continuity cannot simply be dropped. The operation $\DN$ fails to be associative. On the other hand, $T_D\star T_D$ is a t-norm despite $T_D$ being neither continuous nor left-continuous, indicating that continuity is not a necessary condition.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rongjun Wu, Jie Sun, Hongliang Lai. 2026-10-24. Beyond left-continuity: t-norms on the fuzzy unit interval induced by pairs of t-norms. https://arxiv.org/abs/2610.40678

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Collatz Conjecture & Non-Archimedean Spectral Theory -- Part II -- $\left(p,q\right)$-Adic Fourier Analysis and Wiener's Tauberian Theorem

This paper gives an overview of $\left(p,q\right)$-adic Fourier theory - the Fourier theory of functions from the $p$-adic numbers to the $q$-adic numbers, where $p$ and $q$ are distinct primes - which we then use to prove a novel $\left(p,q\right)$-adic generalization of Norbert Wiener's celebrated Tauberian Theorem. Letting $K$ be a metrically complete, algebraically closed local field of residue characteristic $q$, letting $C\left(\mathbb{Z}_{p},K\right)$ be the Banach space of continuous functions $\mathbb{Z}_{p}\rightarrow K$, and letting $dμ$ be a $\left(p,q\right)$-adic measure (a continuous linear functional $C\left(\mathbb{Z}_{p},K\right)\rightarrow K)$, the $\left(p,q\right)$-adic Wiener Tauberian Theorem (WTT) we prove establishes that the density of the span of translates of $dμ$'s Fourier-Stieltjes Transform implies the non-vanishing of the Radon-Nikodym derivative of $dμ$ at all points in $\mathbb{Z}_{p}$ where the derivative exists in $K$.

math.GM↗
arXiv2026

Indefinite integrals of Bessel and Struve functions with half-integer indices, and incomplete gamma functions with integer indices, all multiplied by $Exp(-ax^{2})$ and divided by powers

Indefinite integrals are found for 63 half-integer Bessel and Struve functions, and incomplete gamma functions with integer indices, each multiplied by $Exp(-ax^{2})$ and divided by powers. A series solution is given for the individual terms (of any inverse power) in such functions, split into even and odd portions. Eight integrals are given involving these series. Three infinite sets of auxiliary integrals are also given.

math.GM↗