A complete representation theorem for nullnorms on bounded trellises
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,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.14509
curl -X POST /api/v1/records/arxiv/2609.14509/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.14509/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'