{"id":"arxiv/2609.14509","url":"https://arxiv.org/abs/2609.14509","tags":["math.LO"],"score":0,"title":"A complete representation theorem for nullnorms on bounded trellises","domain":"math.LO","source":"arxiv","authors":["Zhenyu Xiu"],"reviews":0,"subject":"math.LO","summary":"We establish necessary and sufficient conditions under which a binary operation on a bounded trellis is a proper nullnorm. The representation combines a t-conorm on the lower interval, a t-norm on the upper interval, two order-preserving maps, and a commutative, increasing function on $I_a^3\\times I_a^3$, where $I_a^3$ consists of the elements incomparable with the absorbing element $a$ that neither reach $a$ nor are reachable from $a$. Unlike earlier range-restricted constructions, this function may take values anywhere in the trellis. To preserve associativity for such unrestricted values,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-13","reactions":{}}